On Tue, Jun 25, 2019 at 9:24 PM <n...@neelc.org> wrote: FWIW, this proposal is now in the repository. Let's do the pending changes as patches on what's there now.
-- Nick _______________________________________________ tor-dev mailing list tor-dev@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
