April 9, 2018
8:01 p.m.
On 2018-04-09 18:07, Paul Eggert proposed the text:
# I invented the following abbreviations; corrections are welcome! -# +02 WAST West Africa Summer Time +# +02 WAST West Africa Summer Time (no longer used)
I am confused -- does this mean that we have to expect a change in Africa/Ndjamena? Michael Deckers.