3 Feb
2018
3 Feb
'18
4:03 p.m.
nusenu:
If someone with commit privileges has time to review and merge before the weekend that would be great.
teor marked the ticket as merge_ready on 2018-01-31, does anyone with commit privileges have time to merge it? https://trac.torproject.org/projects/tor/ticket/25107 thanks, nusenu -- https://mastodon.social/@nusenu twitter: @nusenu_