<div dir="auto"><div>I have found a bit more information on the topic.</div><div dir="auto">In the webpage authored by National Astronomical Observatory of Japan   <a href="https://eco.mtk.nao.ac.jp/koyomi/wiki/BBFEB9EF2FB2C6BBFEB9EF.html">https://eco.mtk.nao.ac.jp/koyomi/wiki/BBFEB9EF2FB2C6BBFEB9EF.html</a> , it mentioned that using Showa 23 (year 1948) as example, 13pm of September 11 in summer time will equal to 0am of September 12 in standard time.</div><div dir="auto">It cited a document issued by the Liaison Office which briefly existed during the postwar period of Japan, where the detail on implementation of the summer time is described in the document. <a href="https://eco.mtk.nao.ac.jp/koyomi/wiki/BBFEB9EF2FB2C6BBFEB9EFB2C6BBFEB9EFA4CEBCC2BBDCA4CBA4C4A4A4A4C6.pdf">https://eco.mtk.nao.ac.jp/koyomi/wiki/BBFEB9EF2FB2C6BBFEB9EFB2C6BBFEB9EFA4CEBCC2BBDCA4CBA4C4A4A4A4C6.pdf</a> </div><div dir="auto">The text in the document do instruct a fall back to occur at September 11, 13pm in summer time, while ordinary citizens can change the clock before they sleep.</div><div dir="auto">* Note: despite the webpage being named as wiki, it is actually a collection of information maintained by the Ephemeris Computation Office, NAOJ, not something that can be edited by others.<br><br><div class="gmail_quote" dir="auto"><div dir="ltr">2018-9-19 Wed 04:59, Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 9/18/18 1:43 PM, Paul Ganssle wrote:<br>
> The law says that the last day of DST had 25 hours instead of 24. The<br>
> question is whether in practice what happened was that starting 0:00 on<br>
> Saturday, did people wait 25 hours (until 01:00 on Sunday) and THEN set<br>
> their clocks back 1 hour, or did they wait 24 hours (until 00:00 on<br>
> Sunday), and then set the clock back to 23:00?<br>
<br>
Yes, that's the nub of the question. If people in Japan generally did <br>
the former, we should change tzdb to model the transition as one from <br>
01:00 to 00:00 Sunday; this is not exact but is the best we can do. If <br>
people generally did the latter we're OK as-is. Possibly some people did <br>
one thing while others did the other, as the American occupiers did not <br>
always see eye-to-eye with the Japanese populace and I doubt whether <br>
it's entirely a coincidence that Japan stopped observing DST three days <br>
after US occupation ended.<br>
<br>
As we've already mentioned, old Japanese-language newspapers could help <br>
resolve this issue.<br>
<br>
</blockquote></div></div></div>