On Sat, Feb 9, 2013 at 1:41 PM, MinRK <benjaminrk@gmail.com> wrote: > should be fixed by PR #2905 Thanks for the quick response, Min. Reviewed and merged, fix is in master now. Cheers, f