On Mon, Mar 16, 2015 at 2:41 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > On 03/15/2015 08:40 PM, Jim Meyering wrote: >> >> Sounds good. >> I too prefer to deprecate, and then (a release or two later) to remove >> entirely. > > OK, thanks, here's a draft patch to do that.
Very nice. I found not even a nit to pick. Thank you!
