On Sun, Oct 04, 2020 at 05:08:03PM +0300, Jean Louis wrote:
> * tomas@tuxteam.de <tomas@tuxteam.de> [2020-10-04 10:48]:

[...]

> > So this might well be a Javaism.
> 
> Then I guess, this could be the way to get this type of time:
> 2020-10-02 20:24:37.664704+03
> 
> (format-time-string "%F %T.%6N+03" (/ 1599549641372 1000.0))
> 
> If there is anything to improve, let me know.

If you don't care to be precise about timezones, that might
do the job ;-)

Cheers
 - t