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