chore: fixup errata

marcoscaceres · github-actions[bot] · marcoscaceres · commit 4339640152e0 · 2024-04-23T10:37:41.000Z
SHA: dea23d4 Reason: push, by marcoscaceres Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
diff --git a/index.html b/index.html
@@ -157,7 +157,7 @@
 .mdn .samsunginternet_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/samsung-internet/samsung-internet.svg)}
 .mdn .webview_android::before{background-image:url(https://www.w3.org/assets/logos/browser-logos/android-webview/android-webview.png)}
 </style>
-<meta name="revision" content="c2a86d0ac21d308143267076722ea58978c57608">
+<meta name="revision" content="dea23d45ed5db8476b6d149606c43b51f15052a4">
 <meta name="description" content="The Geolocation API provides access to geographical location
         information associated with the hosting device.">
 <style>
@@ -230,7 +230,7 @@
   "implementationReportURI": "https://w3c.github.io/geolocation-api/reports/PR_imp_report.html",
   "xref": "web-platform",
   "errata": "https://github.com/w3c/geolocation-api/labels/errata",
-  "gitRevision": "c2a86d0ac21d308143267076722ea58978c57608",
+  "gitRevision": "dea23d45ed5db8476b6d149606c43b51f15052a4",
   "publishISODate": "2024-04-23T00:00:00.000Z",
   "generatedSubtitle": "W3C Editor's Draft 23 April 2024"
 }</script>
