| === nepgear is now known as Guest59647 | ||
| === Guest59647 is now known as shakesoda | ||
| === JanC is now known as Guest85708 | ||
| === JanC_ is now known as JanC | ||
| === Stskeepz is now known as Stskeeps | ||
| alan_g | greyback: are you happy with the answer? https://code.launchpad.net/~alan-griffiths/miral/workaround-1627697/+merge/306774 | 11:11 |
|---|---|---|
| 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:13 |
| greyback | yep, that I understand | 11:14 |
| greyback | it's well labeled as a workaround, so it's fine | 11:14 |
| 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:15 |
| alan_g | As it stands, yes | 11:16 |
| greyback | ok. Just wanted to clarify that | 11:16 |
| === dandrader is now known as dandrader|afk | ||
| === dandrader|afk is now known as dandrader | ||
| === chihchun is now known as chihchun_afk | ||
| === dandrader is now known as dandrader|afk | ||
| === chihchun_afk is now known as chihchun | ||
| === dandrader|afk is now known as dandrader | ||
| === dandrader is now known as dandrader|afk | ||
| === dandrader|afk is now known as dandrader | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!