Ciao, Il Gio, 8 Marzo 2012 10:26 am, Torbjorn Granlund ha scritto: > bodrato at mail.dm.unipi.it writes: > > Do you agree with the attached patch? > > Looks good to me. (I assume you have compiled the lot.) Tested it on shell and on my computer. Nightly tests will confirm or not... I pushed it. -- http://bodrato.it/papers/