On Fri, May 09, 2014 at 06:43:31AM +0000, Achim Gratz wrote: > Nick Dokos <ndokos <at> gmail.com> writes: > > > > I pushed the obvious fix for this to master. > > > > As a bugfix, this should have gone to maint and then merged into master. > Now you'll need to cherry-pick it onto maint and get a duplicate commit.
I can confirm the problem is fixed. Yesterday was a busy day, otherwise I could have tried it myself. Next time ;). Thanks, -- Suvayu Open source is the future. It sets us free.
