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

16 Jul 2020


      commit 85219d887dd0e54e9655eff15831839aad304bc0
Merge: b83c6ab737 ca1003b791
Author: Nick Mathewson <nickm@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(+)

nickm＠torproject.org

tags

participants (1)