On 03/12/2015, Martin Guy <martinw...@gmail.com> wrote: > favour of the patch, with the doc change.
That said, having to make a new release of ed sooner for such trivia is a PITA, yes. M _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed