On Sat Dec 30 13:46:14 2017, marka wrote:
> > => there is still an extra "." in the snprintf format string
> 
> We want “.DDDZ” which “.%03uZ” produces.  The period separates the
> seconds from the milliseconds.

=> argh! I was disturbed by the isc_time_formatshorttimestamp()
code which was just after in master (and v9_12) and is clearly
wrong (missing Z and .).