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_