On Tue, Jun 25, 2019 at 9:24 PM <[email protected]> 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 [email protected] https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
