From 496be8fd65255b248f382252c7a51df983346a3f Mon Sep 17 00:00:00 2001
From: Volker Grabsch <vog@notjusthosting.com>
Date: Thu, 11 Apr 2013 19:20:34 +0200
Subject: [PATCH] Add HTML ID for "Committers" section of the docs

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 4c1083f4..d76b5fb1 100644
--- a/index.html
+++ b/index.html
@@ -488,7 +488,7 @@ USE_OSGPLUGIN(&lt;plugin2&gt;)
     and to <a href="#creating-packages">propose new packages</a>.
     </p>
 
-    <h3>For Committers</h3>
+    <h3 id="committers">For Committers</h3>
 
     <p>
     The following <code>.git/config</code> settings ensure