Re: [tz] [PATCH] tzdata: Asia/Ha_Noi: Add new timezone

Trần Ngọc Quân wrote:

So if time not specify, like: 8:00 - IDT 1954 Nov 10 So IDT timezone end in 23:59 1954 Nov 10 or end of the previous day (9)? I read zic(1), and think it mean 1954 Nov 10 00:01?

Omitted times default to 00:00:00. The style is to specify the time as 00:00 if the time is known to be 00:00, and to omit the time if it's not known.