On 03/12/2015, Martin Guy <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-ed
