[tz] [PATCH] Change abbreviation of Sri Lanka standard time to SLST

[Sadika Sumanapala]

On Wed, Oct 19, 2016 at 10:50 AM, Paul Eggert <eggert at 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