commit d9e042983f6f7c5ce0225359f207a3317b097ea5 Merge: 3a0f20050 df22ee26f Author: Nick Mathewson nickm@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(-)