=== chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk === sturmflut__ is now known as sturmflut [20:38] racarr: https://code.launchpad.net/~mir-team/mir/unify-pointer-button/+merge/259148/comments/648194 === alan_g is now known as alan_g|EOD === mibofra is now known as Guest97574