I suspect we might want to promote a fix for this bug into: https://code.launchpad.net/~mir-team/mir/trunk-0.1.8/+merge/213790
I suspect we might want to promote a fix for this bug into: /code.launchpad .net/~mir- team/mir/ trunk-0. 1.8/+merge/ 213790
https:/