Paul Eggert wrote: > > Please add timezone for Ufa. It's just like Asia/Yekaterinburg > timezone except that Ufa is located in EUROPE. > > This is an interesting case, but the Theory file says [...] OTOH, we made a precedent with Istambul: