From 5600d65e207c2ffa07d895f8fad2126f496268cf Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 28 Oct 2022 21:02:16 -0700
Subject: [PATCH] * theory.html: Mazatlan no longer observes DST.

---
 theory.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theory.html b/theory.html
index 298db866b..75e347f0f 100644
--- a/theory.html
+++ b/theory.html
@@ -60,7 +60,6 @@ <h2 id="scope">Scope of the <code><abbr>tz</abbr></code> database</h2>
 American mountain time zone can choose from the timezones
 <code>America/Denver</code> which observes US-style daylight saving
 time (<abbr>DST</abbr>),
-<code>America/Mazatlan</code> which observes Mexican-style <abbr>DST</abbr>,
 and <code>America/Phoenix</code> which does not observe <abbr>DST</abbr>.
 Applications that also deal with past timestamps in the mountain time
 zone can choose from over a dozen timezones, such as