On Mon, May 28 2012, Eric Hanchrow wrote:

Eric, I suggest you open a bug report with that patch, otherwise it's
likely to be forgotten for ever.

-- 
           Julien