commit 5f9808d1d799c39f014ce3175779123aabc6058b Merge: 47d69d981 0fd49c666 Author: Nick Mathewson nickm@torproject.org Date: Tue Dec 17 09:39:50 2019 -0500

Merge remote-tracking branch 'tor-github/pr/1596'

changes/ticket32206 | 3 +++ src/arch_goals.md | 31 +++++++++++++++++++++++++++++++ src/mainpage.md | 2 ++ 3 files changed, 36 insertions(+)