Bastien <b...@gnu.org> writes:

> Looks good, please push!
>

Pushed to master (I hope...) Let me know if there is a problem.

-- 
Nick


Reply via email to