Time.isoTime_1(3kaya) on Linux

The text bfb17e2cc0e3, as Debian 8 (Jessie) shipped it. The page shows this text now.

Convert a Unix timestamp into ISO-8601 format

Time.isoTime_1(3kaya) on Linux now