This indeed seems to be a different problem than the original bug since it happens much more often (always?) and affects more client runs.
Opened a new bug for it: https://bugs.launchpad.net/mir/+bug/1508478
This indeed seems to be a different problem than the original bug since it happens much more often (always?) and affects more client runs.
Opened a new bug for it: https:/ /bugs.launchpad .net/mir/ +bug/1508478