From 339e81d1ade620e70ecc78c2b4ec1309a6b80a2f Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 29 Jul 2024 17:19:21 -0700
Subject: [PROPOSED] =?UTF-8?q?Mention=20Levine=E2=80=99s=20proposal=20to?=
 =?UTF-8?q?=20replace=20leap=20seconds?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* tz-link.html: Cite Levine 2024.  Also, mention musl libc.
---
 theory.html  |  3 ++-
 tz-link.html | 11 +++++++++--
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/theory.html b/theory.html
index fafc6d4f..10281af1 100644
--- a/theory.html
+++ b/theory.html
@@ -1344,7 +1344,8 @@ timekeeping that there are
 <a href="https://www.bipm.org/en/cgpm-2022/resolution-4">plans
 to discontinue them by 2035</a>.
 Even if these plans come to fruition, a record of leap seconds will still be
-needed to resolve timestamps from 1972 through 2035.
+needed to resolve timestamps from 1972 through 2035,
+and there may also be a need to record whatever mechanism replaces them.
 </p>
 
 <p>
diff --git a/tz-link.html b/tz-link.html
index d14ea81b..739d07af 100644
--- a/tz-link.html
+++ b/tz-link.html
@@ -85,6 +85,7 @@ title="Berkeley Software Distribution">BSD</abbr></a>,
 <a href="https://cygwin.com">Cygwin</a>,
 <a href="https://mariadb.org">MariaDB</a>,
 <a href="https://en.wikipedia.org/wiki/MINIX">MINIX</a>,
+<a href="https://musl.libc.org">musl libc</a>,
 <a href="https://www.mysql.com">MySQL</a>,
 <a href="https://en.wikipedia.org/wiki/WebOS"><abbr
 title="Web Operating System">webOS</abbr></a>,
@@ -205,7 +206,7 @@ location.</p>
 <p>
 The <code><abbr>tz</abbr></code> code and data
 are by no means authoritative. If you find errors, please
-send changes to <a href="mailto:tz@iana.org"><code>tz@iana.org</code></a>,
+email changes to <a href="mailto:tz@iana.org"><code>tz@iana.org</code></a>,
 the time zone mailing list. You can also <a
 href="https://mm.icann.org/mailman/listinfo/tz">subscribe</a> to it
 and browse the <a
@@ -1129,7 +1130,13 @@ discontinuous adjustments be made to UTC for at least a century.
 The World Radiocommunication Conference <a
 href="https://www.itu.int/dms_pub/itu-r/opb/act/R-ACT-WRC.15-2023-PDF-E.pdf">resolved
 in 2023</a> to cooperate with this process.
-However, there is still no consensus on how exactly to get rid of them.
+<a href="https://www.preprints.org/manuscript/202406.0043/v1">A proposal
+to change the leap-second adjustments to Coordinated Universal Time</a>
+(doi:<a href="https://doi.org/10.1088/1681-7575/ad6266">10.1088/1681-7575/ad6266</a>)
+would replace leap seconds with 13-second leap smears occurring once per
+decade until 2100, with leap smears after that gradually increasing in size.
+However, there is still no consensus on whether this is the best way
+to replace leap seconds.
 </li>
 </ul>
 </section>
-- 
2.43.0

