<div dir="ltr"><div><div>
> If western Florida switches to permanent UTC-05<br>> then it would get a 
separate Zone<br>> (presumably named America/Pensacola)<br>> as a companion to 
America/Miami.

<br><br>Per...<br>    <a href="https://www.flsenate.gov/Session/Bill/2018/1013/BillText/er/PDF">https://www.flsenate.gov/Session/Bill/2018/1013/BillText/er/PDF</a><br><br><div style="margin-left:40px">...it is the intent of the Legislature that daylight saving time shall be the year-round standard time of the entire state and all of its political subdivisions.<br><br></div>(Seemingly resolving the matter of western Florida, but complicating the matter of whether the new time should be called daylight or standard.)<br></div><br></div>Note also: "This act shall take effect July 1, 2018."<br><div><div><div><div><div style="margin-left:40px"><br></div>    @dashdashado<br></div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 12, 2018 at 6:37 PM, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 03/12/2018 12:01 AM, Phake Nick wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As a result, if the proposal get through, that part of FL should also become a tz region of its own in the timezone database?<br>
</blockquote>
<br></span>
Yes, good point. If western Florida switches to permanent UTC-05 then it would get a separate Zone (presumably named America/Pensacola) as a companion to America/Miami.<br>
<br>
</blockquote></div><br></div>