Merge branch 'tor-github/pr/1788' into maint-0.4.3
commit29420ab396cffb4b3c062b76fc859cc01f2206b7
authorGeorge Kadianakis <desnacked@riseup.net>
Mon, 23 Mar 2020 14:56:59 +0000 (23 16:56 +0200)
committerGeorge Kadianakis <desnacked@riseup.net>
Mon, 23 Mar 2020 14:56:59 +0000 (23 16:56 +0200)
tree56497cdf4e786cf3e85a11b774fcb5a8731814f6
parente380396d423deded74e6c0e6f6f767a1cc93df04
parenteed196f122bc83d77a86a3d15659aac1201ed219
Merge branch 'tor-github/pr/1788' into maint-0.4.3