Re: How to format this type of timestamp

[Jean Louis]

* tomas@tuxteam.de <tomas@tuxteam.de> [2020-10-04 18:01]:
> 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 ;-)

It looks like time zone is not in that string, I am asking developers
of Silence application about that.

Namely, Silence replaces default Android/Replicant/LineageOS SMS
application and enables encryption, so that network providers cannot
(easily) spy on messages. Yet in sales handling and customer
relationship handling, all messages should be somehow visible or
accessible to future sales managers handling such customers and
new sales.

I hope that Silence developers will answer about the format, and if
it is UTC time.

Thanks.