The bug appears to have been around a while. The same happened in November, threatening to block the release of 0.9.0. So we just merged it manually: https://code.launchpad.net/~mir-team/mir/0.9/+merge/242146
The bug appears to have been around a while. The same happened in November, threatening to block the release of 0.9.0. So we just merged it manually: /code.launchpad .net/~mir- team/mir/ 0.9/+merge/ 242146
https:/