4855.   [bug]           isc_time_formatshorttimestamp produced incorrect
                        output. [RT #46938]