Richard Guenther wrote: > On Sat, Apr 21, 2012 at 5:53 PM, Jim Meyering <jim@meyering.net> wrote: >> I see that no one responded when I posted this in February. >> Ok to commit, now? > > Ok. Thanks. Pushed.