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

[Paul Eggert]

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.