On Thu, Nov 11, 2010 at 04:32:26PM +0100, Enrico Forestieri wrote:

> Here is another somewhat polished version.

So, should I commit this patch?

-- 
Enrico

Reply via email to