From 8a27b831405062a742bee6ede52018fdad67a307 Mon Sep 17 00:00:00 2001
From: h4waii <30473690+h4waii@users.noreply.github.com>
Date: Wed, 25 Sep 2019 21:36:20 -0600
Subject: [PATCH] Update build.html

Extra 'from' in this sentence
---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 1dfb9f03..3bef8a5a 100644
--- a/static/build.html
+++ b/static/build.html
@@ -255,7 +255,7 @@ cd ../..</pre>
 
             <p>To update the source tree, run the <code>repo init</code> command again to select
             the branch or tag and then run <code>repo sync -j32</code> again. You may need to add
-            <code>--force-sync</code> if a repository from switched from one source to another,
+            <code>--force-sync</code> if a repository switched from one source to another,
             such as when GrapheneOS forks an additional Android Open Source Project repository.
             You don't need to start over to switch between different branches or tags. You may
             need to run <code>repo init</code> again to continue down the same branch since