From ef0b3509590c393fba741663751cb2db8ec5f0d5 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 9 May 2019 12:35:08 -0400
Subject: [PATCH] add id for device support section

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

diff --git a/static/index.html b/static/index.html
index 3f4eabe3..ad82e6e8 100644
--- a/static/index.html
+++ b/static/index.html
@@ -77,7 +77,7 @@
             <p>Hardware and firmware security are core parts of the project, but it's currently
             limited to research and submitting suggestions and bug reports upstream. In the long
             term, the project will need to move into the hardware space.</p>
-            <h2>Device support</h2>
+            <h2 id="device-support">Device support</h2>
             <p>In the current early stage of the project, GrapheneOS provides production releases
             for the Pixel, Pixel XL, Pixel 2, Pixel 2 XL, Pixel 3 and Pixel 3 XL. It will support
             other devices in the future, but devices are carefully chosen based on their merits