Timezones

[Keld J|rn Simonsen]

I think the new term for GMT is UTC - Universal Time Coordinated,
not UCT. It is going to be incorporated in the new ISO C standard
instead of the GMT.