Merge branch 'tor-github/pr/891' into maint-0.4.0
commit6a179b1072887c5b8e9a2f679a6faf5504bbf3e3
authorGeorge Kadianakis <desnacked@riseup.net>
Thu, 18 Apr 2019 10:21:59 +0000 (18 13:21 +0300)
committerGeorge Kadianakis <desnacked@riseup.net>
Thu, 18 Apr 2019 10:21:59 +0000 (18 13:21 +0300)
treeab5d60168261ca67dfb06a3ed72dadc6aedf36d9
parentc72f0cd5c77ffceb6f0275295c3446a908b17a75
parent950d890f77d8f060702b100e6075d5083d536577
Merge branch 'tor-github/pr/891' into maint-0.4.0
src/feature/dirparse/microdesc_parse.c
src/feature/nodelist/microdesc.c