[tz] re DST in Russia 2011

[Paul Eggert]

On 07/07/2013 02:18 PM, Alan Barrett wrote:
> I don't know what should be the case, but currently the Russian time zones have isdst=0.

The usual practice has been to not set the DST flag
for time offsets that are permanent, or are the least
of multiple offsets are used in one or more years.
Some judgment is needed, as there's not always a sharp
line between "permanent" and "temporary" (was the U.S.
on permanent DST from 1942 to 1945, or was that temporary?)
but the current Russian situation seems relatively permanent,
so the DST flag isn't set there.