On 12 May, 2013, at 11:58 PM, Nicolas Goaziou <n.goaz...@gmail.com> wrote:
> No, that's a bug. It should be fixed in maint branch. > > Thank you for the report and the test case. Thank you, I can confirm it is fixed by commit e7cd6f1875f880effc437ad893d729bcfb9b1da6
