[tor-commits] [sbws/master] Merge remote-tracking branch 'gitlab/merge-requests/72' into maint-1.1

commit daaa5f3a5c518336329d30335136fa1d30ea3f4a Merge: c6b7fd6 c32badb Author: Georg Koppen <gk@torproject.org> Date: Tue Mar 2 09:48:53 2021 +0000 Merge remote-tracking branch 'gitlab/merge-requests/72' into maint-1.1 INSTALL.rst | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-)