<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 3, 2016 at 11:12 AM, Paul Eggert <span dir="ltr">&lt;<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> For example, in 2014 (the last time Russian clocks changed in a big way) Vladivostok changed seven hours earlier than Moscow did. Given this typical practice, we cannot simply use &quot;MSK+07&quot; as the abbreviation for Vladivostok time, as this abbreviation would be incorrect for several hours whenever Russians change their clocks.</blockquote></div><br>Isn&#39;t this problem worse with the UTC offset?  While <span style="font-size:12.8px">Vladivostok may deviate from from </span>MSK+07 for a few hours around an MSK transition, the UTC offset changes permanently.  Still, I am not advocating for MSK+HH abbreviations.  Use of the abbreviations should be deprecated and any change to them be considered gratuitous.  I still believe a change from VLAT to +10 does not solve any real problem and it will inconvenience many users. </div></div>