[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1832/head'

[nickm at torproject.org]

commit d9e042983f6f7c5ce0225359f207a3317b097ea5
Merge: 3a0f20050 df22ee26f
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri Mar 27 09:15:29 2020 -0400

    Merge remote-tracking branch 'tor-github/pr/1832/head'

 README                                  |  5 +--
 doc/HACKING/CircuitPaddingQuickStart.md |  3 ++
 doc/HACKING/CodeStructure.md            |  1 +
 doc/HACKING/CodingStandards.md          | 60 +++++++++-------------------
 doc/HACKING/CodingStandardsRust.md      | 60 +++++++++++-----------------
 doc/HACKING/EndOfLifeTor.md             |  8 ++--
 doc/HACKING/Fuzzing.md                  |  2 -
 doc/HACKING/GettingStarted.md           | 71 ++++++++++++++-------------------
 doc/HACKING/GettingStartedRust.md       | 48 +++++++++-------------
 doc/HACKING/HelpfulTools.md             | 61 ++++++++++------------------
 doc/HACKING/HowToReview.md              | 18 +++------
 doc/HACKING/Module.md                   |  8 ++--
 doc/HACKING/README.1st.md               | 43 +++++++-------------
 doc/HACKING/ReleasingTor.md             | 20 ++++------
 doc/HACKING/Tracing.md                  | 12 +++---
 doc/HACKING/WritingTests.md             | 45 ++++++++-------------
 doc/HACKING/android/Simpleperf.md       |  1 -
 17 files changed, 175 insertions(+), 291 deletions(-)