[tor-commits] [tor/release-0.4.2] Merge branch 'maint-0.4.2' into release-0.4.2

[ahf at torproject.org]

commit 1b106cdedf525546626124449ba90266edb2f2ee
Merge: 19d9d0ee5 c9c4a3d0f
Author: Alexander Færøy <ahf at torproject.org>
Date:   Tue Jun 30 14:03:04 2020 +0000

    Merge branch 'maint-0.4.2' into release-0.4.2

 changes/ticket33361     |  3 +++
 src/app/config/config.c | 13 +++++++++----
 src/test/test_options.c | 19 ++++++++++++-------
 3 files changed, 24 insertions(+), 11 deletions(-)