<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><tt>Many thanks for the update.<br>
</tt></p>
<p><tt>There is still a difference for October 1940.</tt></p>
<p><a class="moz-txt-link-freetext" href="http://www.astrolojidergisi.com/yazsaati.htm">http://www.astrolojidergisi.com/yazsaati.htm</a> has 6 Oct 1940 0:00<br>
and you have 5 Oct 1940 0:00<br>
<br>
<br>
</p>
<div class="moz-cite-prefix">On 28.08.19 09:29, Paul Eggert wrote:<br>
</div>
<blockquote type="cite"
cite="mid:b3298c0c-ccf7-c211-4ef5-2fdbb25b6a48@cs.ucla.edu">Alois
Treindl wrote:
<br>
<blockquote type="cite">This source
<a class="moz-txt-link-freetext" href="http://www.astrolojidergisi.com/yazsaati.htm">http://www.astrolojidergisi.com/yazsaati.htm</a> has researched the
time zone history of Turkey, based on newspaper archives and
official documents.
<br>
</blockquote>
<br>
Thanks for the pointer to Oya Vulaş's table. It cites and
reproduces quite a few good sources, so I adjusted tzdb's
timestamps to match its timestamps for the period 1940/1985 and
installed the attached proposed patch into the development version
on GitHub. Vulaş does not cover the period before 1940 so we'll
stick to Shanks's dicier data for that. For 1986 on, Vulaş agrees
with the official sources we already cite.
<br>
<br>
I think this resolves the issue "Turkey Rules late 70's - October
1978 bug?" that you mentioned a bit earlier.
<br>
</blockquote>
</body>
</html>