Status and history for [kjh]

See the Github repository for issues and changes in 2023 and after.

See the Github repository for changes in 2023 and after.

January 29, 2016		The @number attribute was incorrectly encoded. Thanks to Kang Seonghoon for reporting this.
February 25, 2010		stage 4, thanks to Arthur Reutenauer.
February 22, 2010		stage 2: OHCHR identified as the source.