Comment 2 for bug 458331

Yeah, there's been the same problem with the Asia/Beijing time zone that does not exist, because it's Asia/Shanghai (see bug 228554). I still don't know whether this is a bug in timezone, which should provide symlinks or duplicate zones, or if we should hardcode (!) in the GUI some locations that are equivalent to others. I think we should report that to Debian, because nobody has answered in Ubuntu, which may indicate that we don't really work on it.