On 12/03/2013 01:48 AM, Paul Eggert wrote: > Thanks, that works for me; please install it into gnulib > when you have the time. > > I do have some minor stylistic suggestions, but they're not crucial.
Pushed with whitespace adjusted. thanks for the review! Pádraig.
