[tor-commits] [tor/master] Merge branch 'tor-gitlab/mr/66'

Mon Jul 20 14:27:19 UTC 2020

commit b18e2749191dd261462d12a315cd79fcbbccbefa
Merge: 8638723d57 0401993197
Author: Alexander FÃ¦rÃ¸y <ahf at torproject.org>
Date:   Mon Jul 20 14:22:29 2020 +0000

    Merge branch 'tor-gitlab/mr/66'

 scripts/git/git-install-tools.sh |  2 +-
 scripts/git/git-resquash.sh      | 46 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+), 1 deletion(-)