[tor-commits] [tor/master] Merge branch 'tor-gitlab/mr/144' into maint-0.4.5

[dgoulet at torproject.org]

commit fcf5bbb59fe12304dd60da248fafc5d892629d1b
Merge: 16351d655d 16412c698c
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Nov 18 11:29:02 2020 -0500

    Merge branch 'tor-gitlab/mr/144' into maint-0.4.5

 configure.ac | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)