May 17, 2019
4:58 p.m.
Thanks for that careful survey of Hong Kong time transitions that you sent us on December 31. Sorry about the delay in analyzing it, but I finally got to it and installed the attached proposed patch into the development repository.