On Tue, Jun 25, 2019 at 9:24 PM <neel@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxx https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev