[tor-commits] [tor/master] Merge remote-tracking branch 'tor-gitlab/mr/219'

[nickm at torproject.org]

commit a09eb66cc73b33dc81cba0258586033fb58904bf
Merge: b50fcdc2e7 0522f0e507
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Dec 8 08:19:37 2020 -0500

    Merge remote-tracking branch 'tor-gitlab/mr/219'

 src/app/config/config.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)