Vicente Vera <vicente...@gmail.com> writes:

> The patch works. Thank you.

Pushed.

-- 
What will be next?

Reply via email to