On Mon, 29 Oct 2018, Greg 'groggy' Lehey wrote:
The time zone was Pacific Time. For me it happened on
the following
day, coincidentally the day I first interacted with a computer.
Thanks; I try and use local time whenever possible, to respect those who
were there at the time.
-- Dave