[11:11] <alan_g> greyback: are you happy with the answer? https://code.launchpad.net/~alan-griffiths/miral/workaround-1627697/+merge/306774
[11:13] <greyback> alan_g: if it does the job, it'll do
[11:13] <alan_g> greyback: I hope to remove it once gtk-mir is fixed, but as a stopgap...
[11:14] <greyback> yep, that I understand
[11:14] <greyback> it's well labeled as a workaround, so it's fine
[11:15] <greyback> alan_g: question about https://code.launchpad.net/~alan-griffiths/miral/update-symbols-map-generator/+merge/306912
[11:15] <greyback> for each release, do we need to copy in the symbol table into scripts/process_doxygen_xml.py ?
[11:16] <alan_g> As it stands, yes
[11:16] <greyback> ok. Just wanted to clarify that