[ clisp-Bugs-3494206 ] encode-universal-time broken for some inputs


Thread view