From 641cd01230947f706518064acd54fa55c4bf4da5 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Wed, 27 Oct 2021 16:42:54 +0100
Subject: [PATCH] Option to update device time automatically. And always fix it
 if time has obviously never been set

---
 core       | 2 +-
 index.html | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/core b/core
index df02cd052..a7d82825d 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit df02cd0529d81439fb859b553576398a445ef1b8
+Subproject commit a7d82825d3a43e1da7919591ed6fa776f1f0545a
diff --git a/index.html b/index.html
index 0185f1bae..e7c7c31cd 100644
--- a/index.html
+++ b/index.html
@@ -136,6 +136,10 @@
             <input type="checkbox" id="settings-pretokenise">
             <i class="form-icon"></i> Pretokenise apps before upload (smaller, faster apps)
           </label>
+          <label class="form-switch">
+            <input type="checkbox" id="settings-settime">
+            <i class="form-icon"></i> Always update time when we connect
+          </label>
           <button class="btn" id="defaultsettings">Default settings</button>
         </div>
       </div>