26 Feb
2019
26 Feb
'19
10:25 p.m.
On 27 Feb 2019, at 02:30, Iain Learmonth irl@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