Hi! On Thu, Nov 25, 2010 at 5:37 PM, Bas van Dijk wrote:

Officially your patch has to go through the "Library submission" process:

A bit overkill for one line but OK. ;-)

Since you already have a ticket the only thing left to do is convert your patch to a darcs patch and send a proposal to the libraries list.

I just have. I attached your patch to the ticket. Thanks. Mitar