mostafah has just submitted a new pull request for https://github.com/w3c/alreq: == Update to character tables == This is mainly to include number symbols as @shervinafshar suggested at #49. But I’m thinking about dealing with two other issues related to the character tables while I’m at it: #52 and #66. Commits will be added to this PR for them. See https://github.com/w3c/alreq/pull/89Received on Sunday, 22 January 2017 15:48:19 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:35 UTC