[Info-ingres] _time() and _date_gmt()

[Roy Hann]

I've lately been dealing with Unix times (i.e. seconds since 00:00
01-jan-1970).

I've done what I needed to do but no thanks to date_gmt() and the
bizarre format it returns, and especially no thanks to _time(). Who
decided a time to one minute precision was good enough?

Ugh.

Roy