Fix released in https://launchpad.net/ubuntu/+source/mir/0.0.15+13.10.20131014-0ubuntu1 (changelog at https://code.launchpad.net/~mir-team/mir/development-branch/+merge/191055).
Fix released in https:/ /launchpad. net/ubuntu/ +source/ mir/0.0. 15+13.10. 20131014- 0ubuntu1 (changelog at https:/ /code.launchpad .net/~mir- team/mir/ development- branch/ +merge/ 191055).