[tor-commits] [tor/release-0.4.5] Merge remote-tracking branch 'tor-gitlab/mr/238' into maint-0.4.5

commit b83777f7b2c0809d9f92ae36bd5ea7975a0a2d06 Merge: 7998ea2f18 15b0d30a55 Author: Alexander Færøy <ahf@torproject.org> Date: Wed Dec 16 20:31:10 2020 +0000 Merge remote-tracking branch 'tor-gitlab/mr/238' into maint-0.4.5 configure.ac | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)