[tor-dev] small fixes for the sources.list generator (and new options)

[nusenu]

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_

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.torproject.org/pipermail/tor-dev/attachments/20180203/93ce585f/attachment.sig>