=== chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === Guest52925 is now known as RAOF [10:22] xnox: does this look reasonable to you? https://code.launchpad.net/~raof/mir/more-packaging-tweaking/+merge/330642 [10:36] alan_g, reviewed, +1 [10:36] xnox: thanks! === chihchun is now known as chihchun_afk === JanC is now known as Guest66311 === JanC_ is now known as JanC