l...@gnu.org (Ludovic Courtès) writes: > OK with changes along these lines. > > Thanks a lot! This closes another item towards 0.9.1. \o/
Pushed in 1b846da8c372bee78851439fd9e72b2499115e5a with the suggested changes. Thanks for the review. -- Mathieu Lirzin