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(+)