[Bug 1351255] Re: [enhancement] It should be possible to customize configuration options without going via boost options and the commandline

2014-08-14 Thread Cemil Azizoglu
** Changed in: mir Milestone: 0.7.0 = None ** Changed in: mir Status: Fix Committed = Fix Released -- 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

[Bug 1351255] Re: [enhancement] It should be possible to customize configuration options without going via boost options and the commandline

2014-08-14 Thread Daniel van Vugt
** Changed in: mir Milestone: None = 0.7.0 ** Changed in: mir Status: Fix Released = Fix Committed -- 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

[Bug 1351255] Re: [enhancement] It should be possible to customize configuration options without going via boost options and the commandline

2014-08-14 Thread Daniel van Vugt
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. **

[Bug 1351255] Re: [enhancement] It should be possible to customize configuration options without going via boost options and the commandline

2014-08-12 Thread Daniel van Vugt
** Also affects: mir (Ubuntu) Importance: Undecided Status: New -- 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

[Bug 1351255] Re: [enhancement] It should be possible to customize configuration options without going via boost options and the commandline

2014-08-12 Thread Daniel van Vugt
mir (0.6.0+14.10.20140811-0ubuntu1) utopic; urgency=medium ** Changed in: mir (Ubuntu) Importance: Undecided = Wishlist ** Changed in: mir (Ubuntu) Status: New = Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to