2017-05-23 21:42:22 UTC
of course), and my involvement with gnulib is so tangential, that I need
to unsubscribe. I have now done so. Please cc me explicitly in the
future in the unlikely event that I need to be in on some mail.
I don't mind continuing to do the occasional autoupdates, for the rather
few synced files that remain. On the other hand, I would also certainly
be happy to pass this on to someone more active, if anyone cares to
volunteer. Just let me know. --happy hacking, karl.