Sorry for the confusion. Most of the 0.7.0 series got merged into 0.6.0
at a late stage. I've verified everything in 0.6.0 is also fixed in
0.7.0. So although the branched fixes in 0.7.0 have not been "released"
yet, the equivalent fixes in 0.6.0 have. No need to mention them in 0.7
any more.
** Changed in: mir
Status: Fix Committed => Fix Released
** Changed in: mir
Milestone: 0.7.0 => None
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1351255
Title:
[enhancement] It should be possible to customize configuration options
without going via boost options and the commandline
To manage notifications about this bug go to:
https://bugs.launchpad.net/mir/+bug/1351255/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
