=== chihchun_afk is now known as chihchun [10:24] alf: is that better now? Then I would also merge that to the 0.18 version of the fix: https://code.launchpad.net/~andreas-pokorny/mir/fix-1531517/+merge/282439 === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === alan_g is now known as alan_g|afk === chihchun is now known as chihchun_afk === dandrader is now known as dandrader|afk === dandrader|afk is now known as dandrader === chihchun_afk is now known as chihchun [16:44] kdub: does this work for you? Or do you still find it unclear? [16:44] https://code.launchpad.net/~alan-griffiths/mir/nested-server-uses-host-graphics-platform/+merge/281886/comments/717223 [17:12] alan_g, sure [17:14] thanks === dandrader is now known as dandrader|afk === chihchun is now known as chihchun_afk === dandrader|afk is now known as dandrader