=== chihchun_afk is now known as chihchun
=== chihchun is now known as chihchun_afk
=== shiznix_ is now known as shiznix
=== alan_g is now known as alan_g|lunch
=== tsdgeos_ is now known as tsdgeos
=== dandrader is now known as dandrader|afk
=== dandrader|afk is now known as dandrader
=== chihchun_afk is now known as chihchun
=== alan_g|lunch is now known as alan_g
=== chihchun is now known as chihchun_afk
=== dandrader is now known as dandrader|lunch
[16:37] <alan_g> alf: happy with this update? https://code.launchpad.net/~alan-griffiths/mir/nested-server-uses-host-graphics-platform/+merge/281886
[16:39] <alf> alan_g: not pushed yet?
[16:39] <alan_g> Hmm...
[16:44] <alan_g> ...push failed (yesterday) because I'd not synced local working copy between desktop and laptop
[16:44] <alan_g> alf: pushd
[16:48] <alf> alan_g: approved
[16:49] <alan_g> thanks^2
=== dandrader|lunch is now known as dandrader
=== alan_g is now known as alan_g|EOD