Hi, 2014-07-21 11:11 GMT+02:00 Christophe Gisquet <christophe.gisquet at gmail.com>: > The change makes sense by itself, but it doesn't seem worth it. I'd > still like to see if Mickaël can provide more meaningful numbers. No strong reason behind this, but let's drop that patch. -- Christophe