On 2020-06-10 21:25, Paul Eggert proposed:
# Zone NAME STDOFF RULES FORMAT [UNTIL] Zone Europe/Paris 0:09:21 - LMT 1891 Mar 15 0:01
While we are at it: the law of 1891 (online at [https://gallica.bnf.fr/ark:/12148/bpt6k64415343.texteImage]) was published on 1891-03-15, so it could only take force on 1891-03-16; and it does not say that it applies only 1 min after the start of the day. All of this applies to Monaco and Algiers. Hence: - Zone Europe/Paris 0:09:21 - LMT 1891 Mar 15 0:01 + Zone Europe/Paris 0:09:21 - LMT 1891 Mar 16 0:00 - Zone Europe/Monaco 0:29:32 - LMT 1891 Mar 15 + Zone Europe/Monaco 0:29:32 - LMT 1891 Mar 16 0:20:11 - 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time + 0:09:21 - PMT 1911 Mar 11 0:09:21 # Paris Mean Time - Zone Africa/Algiers 0:12:12 - LMT 1891 Mar 15 0:01 + Zone Africa/Algiers 0:12:12 - LMT 1891 Mar 16 0:02:51 - 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time + 0:09:21 - PMT 1911 Mar 11 0:09:21 # Paris Mean Time Michael Deckers.