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