<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 2, 2013 at 7:50 PM, Russ Allbery <span dir="ltr"><<a href="mailto:rra@stanford.edu" target="_blank">rra@stanford.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":3lh">Regardless, though, the actual abbreviations used in tzname, etc., aren't<br>
useful for giving the times of recurring meetings. TZ identifiers (which<br>
include US/Pacific, US/Eastern, etc.) certainly are.<div class="yj6qo ajU"><div id=":3lz" class="ajR" tabindex="0"></div></div></div></blockquote></div><br><div style="font-family:'times new roman',serif" class="gmail_default">
To programmers, the TZ identifiers are what you want to use. To users, that doesn't work well. What one should supply are the customary names and/or abbreviations, so that users understand them.</div><br><br clear="all">
<div><font face="'times new roman', serif"><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px"><div></div></div><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px">
<br></div><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px"><a href="https://plus.google.com/114199149796022210033" target="_blank">Mark</a></div><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px">
<i><br></i></div><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px"><i>— Il meglio è l’inimico del bene —</i></div></font><div><div><font face="'times new roman', serif"><i><span style="font-style:normal"><i></i></span><i></i></i></font></div>
</div></div>
</div></div>