=== chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun [07:59] RAOF: I guess you've an opinion on this: https://code.launchpad.net/~alan-griffiths/miral/remove-properties-WM-ignores/+merge/304906 [08:00] alan_g: Eh, it doesn't break ABI to add it in later. [08:00] True [08:00] So you're OK with it. [08:00] Yup. [08:01] thanks === JanC_ is now known as JanC === hikiko is now known as hikiko|ln === hikiko|ln is now known as hikiko === dandrader is now known as dandrader|bbl === chihchun is now known as chihchun_afk === dandrader|bbl is now known as dandrader === dandrader is now known as dandrader|afk === JanC is now known as Guest18007 === JanC_ is now known as JanC === dandrader is now known as dandrader|afk === dandrader|afk is now known as dandrader