Pondering 2038

Posted Aug 16, 2013 2:55 UTC (Fri) by jake (editor, #205)
In reply to: Pondering 2038 by pjtait
Parent article: Pondering 2038

> Isn't his name spelled "Philip"?

Yes, indeed. Fixed now, thanks.

jake