@tubetime A proposed change that never materialized. It was removed from the timezone database again in 2017 after never coming into use.

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815200 has some background info.