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

[nickm at torproject.org]

commit 85219d887dd0e54e9655eff15831839aad304bc0
Merge: b83c6ab737 ca1003b791
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Jul 16 14:53:03 2020 -0400

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

 doc/HACKING/CodingStandards.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)