=== chihchun_afk is now known as chihchun
[16:22] <alan_g> anyone else want to vote on this  before lunch? https://code.launchpad.net/~alan-griffiths/mir/Migrate-ServerConfigurationWrapping-to-Server-API/+merge/239184
=== renato is now known as Guest11244
=== Guest11244 is now known as renatu
=== seb128_ is now known as seb128
=== ara is now known as Guest78810
=== chihchun is now known as chihchun_afk