Oct. 19, 2016
6:13 a.m.
On Wed, Oct 19, 2016 at 10:50 AM, Paul Eggert <eggert@cs.ucla.edu> wrote:
now checked again, and although I found more usage, it cannot be said to have taken off.
Sometimes this happen because in computer applications provide only IST as the abbreviation for Sri Lankan time.
I'm inclined to switch to numeric time zone abbreviations like "+0530" for Sri Lanka. We can switch to "SLST" later if it catches on in the broader English-language community.
+1