On Sat, May 19, 2018 at 10:15:49PM -0400, John Ericson wrote: > This is all that remains of the case at the top, and it can now be > straight-forwardly merged with the rest down at the bottom.
Lovely work, John, thanks. Ben
signature.asc
Description: PGP signature
_______________________________________________ config-patches mailing list config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches
