Time Zone GMT/BST?

[Rick Brewer]

I recall seeing someone report this as a bug not long ago. When 
displaying the "short time zone" for Europe/London,  GMT/BST is returned.
Has a fix been found and published yet? This bug affected my system this 
morning.

thanks,
Rick