<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>There has been some research on Texas time zone history before
      1970.</p>
    <p>This post may also be found in the archives of this mailing list.<br>
      I know it from this Google group</p>
    <p><a class="moz-txt-link-freetext" href="https://groups.google.com/forum/#!topic/tzdata-history/6HGCMHpcV2I">https://groups.google.com/forum/#!topic/tzdata-history/6HGCMHpcV2I</a></p>
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 13.09.19 06:06, Ron Sparks wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAE=gggeXvcixSzaFCMVyJw28NaQN0Um0P39roeGjNG_L-W2uYg@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <p>I have been using tzdata in one form or another for 3 decades
          and have always been puzzled why Dallas or Houston Texas were
          never listed as an alias to America/Chicago. Dallas-Fort Worth
          is currently the 4th largest city in America and Houston is
          5th. Is there some particular reason for these omissions? Or
          is it just that no one ever volunteered to do the work to get
          them added? Additionally I have never seen El Paso Texas
          listed even though it is the one spot in Texas that is in the
          Mountain Time Zone.</p>
        <p>I know that Chicago has been the Central Time Zone marker as
          far back as I can remember (at least 1970).<br>
        </p>
        <p>Thanks,</p>
        <p>Ron Sparks</p>
      </div>
    </blockquote>
  </body>
</html>