diff --git a/contrib/README.md b/contrib/README.md
--- a/contrib/README.md
+++ b/contrib/README.md
@@ -1,6 +1,7 @@
 Repository Tools
 ---------------------
 
+
 ### [Developer tools](/contrib/devtools) ###
 Specific tools for developers working on this repository.
 Contains the script `github-merge.py` for merging GitHub pull requests securely and signing them using GPG.