On Fri, May 11, 2018 at 01:41:08PM -0400, John Ericson wrote: > This takes out some pointless noise, and also allows removing a sed > invocation. It's a big diff but conceptually simple one that (at > least to me) improves readabiltiy.
Thanks, this is great. Cheers, Ben _______________________________________________ config-patches mailing list config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches