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