[tz] Question] Regarding Asia/Yerevan timezone abbreviation

[Goun Lee]

Hi, I'm Goun from South Korea.

I have a question regarding Asia/Yerevan timezone abbreviation
When I checked the following line,
https://github.com/eggert/tz/blob/master/asia#L127

it's written as  4:00    Armenia +04/+05
As far as I know, Armenia has no DST time, so the abbreviation should +04.
isn't it?
I'm just wondering if it's correct or not.

best regards.
Goun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mm.icann.org/pipermail/tz/attachments/20200910/d7c472b1/attachment.html>