Merge 32e9453 into merged_master (Bitcoin PR #16256)

apoelstra · Nov 6, 2020 · 5a7f52b · 5a7f52b
2 parents 164acef + 32e9453
commit 5a7f52b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/doc/developer-notes.md b/doc/developer-notes.md
@@ -34,7 +34,6 @@ Developer Notes
     - [Source code organization](#source-code-organization)
     - [GUI](#gui)
     - [Subtrees](#subtrees)
-    - [Git and GitHub tips](#git-and-github-tips)
     - [Scripted diffs](#scripted-diffs)
     - [Release notes](#release-notes)
     - [RPC interface guidelines](#rpc-interface-guidelines)