On Fri, Apr 12, 2013 at 01:45:51PM +0200, Olivier Cochard-Labb? wrote: O> PR closed too soon ? It isn't closed, it is in patched state. This means that problem is considered solve in the head branch, but not in any stable branch. -- Totus tuus, Glebius.