On 14/02/2023 22:59, Jean Louis wrote:
What Ihor proposed is time stamp like:2023-02-14 Tue 12:00:00 +0800 @UTC
I am not sure that combination of +0800 and UTC was intentional. The following is redundant, but there is nothing wrong while offset and time zone identifier are in agreement:
2023-02-14 Tue 12:00:00 +0800 @Asia/Singapore