> On 27 Feb 2019, at 02:30, Iain Learmonth <i...@torproject.org> wrote:
> 
> On 25/02/2019 23:30, teor wrote:
>> Looks good to me, let's merge it as an "accepted" proposal?
> 
> Is there some action I should take here like opening a PR or does
> someone just pick up the text and commit it?

You can open a trac ticket and link to a GitHub pull request.

T

Attachment: signature.asc
Description: Message signed with OpenPGP

_______________________________________________
tor-dev mailing list
tor-dev@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev

Reply via email to