Pino Toscano, le Mon 24 Jun 2013 13:06:18 +0200, a écrit :
> Patch updated (mostly improved the changelog bit in commit log).
> May I push it, if it is ok?

It looks ok to me, yes, sorry it got stuck in my todo list for more than
a year...

Samuel

Reply via email to