Does anyone have a preference on which direction to go with: https://bugs.launchpad.net/mir/+bug/1293944 ? I can imagine either solution proposed in the bug should work. Maybe someone can think of a third option? Regardless of the solution though it will take multiple releases to see the benefit of a fix. - Daniel