On Wed, Jul 10, 2013 at 12:45 PM, Jose A. Lopes <[email protected]>wrote:

> Will you commit the patch ?
>

Yes, given that you don't have commit access yet, I'll do it myself.

Cheers,
Michele

Reply via email to