On 8/22/25 06:20, Peter Chamberlin via tz wrote:
Wouldn’t this be better defined as "AST" for Arabia Standard Time per https://24timezones.com/Riyadh/time?
No, as the source you cite got that from me and I made it up. Invented abbreviations (which can be a real problem) were removed in 2017.
