=== salem_ is now known as _salem === _salem is now known as salem_ === salem_ is now known as _salem === _salem is now known as salem_ === salem_ is now known as _salem === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun [08:30] timp: please have another look at https://code.launchpad.net/~ubuntu-sdk-team/ubuntu-ui-toolkit/acceptTheOptionSelector/+merge/301478 CI is now definitely passing, and the bug should be sorted === _salem is now known as salem_ === JanC is now known as Guest12202 === JanC_ is now known as JanC === dpm_ is now known as dpm === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === salem_ is now known as _salem === _salem is now known as salem_ === salem_ is now known as _salem