A fix for this problem was released with Mir 0.7.0. See https://bugs.launchpad.net/mir/+bug/1358191 and links therein. Shouldn't happen any more.
A fix for this problem was released with Mir 0.7.0. See https:/ /bugs.launchpad .net/mir/ +bug/1358191 and links therein. Shouldn't happen any more.