From 3612d684b15af9a8274364ec3c783ea6708ebea9 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 18 May 2020 18:51:18 -0400
Subject: [PATCH] refer to releases as releases rather than builds

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

diff --git a/static/build.html b/static/build.html
index f9618712..1ca33519 100644
--- a/static/build.html
+++ b/static/build.html
@@ -298,7 +298,7 @@ repo sync -j32</pre>
                 <a href="#stable-release">Stable release</a>
             </h2>
 
-            <p>Pick a specific build for a device from the <a href="/releases">releases page</a>
+            <p>Pick a specific release for a device from the <a href="/releases">releases page</a>
             and download the source tree. Note that some devices use different Android Open Source
             Project branches so they can end up with different tags. Make sure to use the correct
             tag for a device. For devices without official support, use the latest tag for the