The following commits were just pushed by r12a to https://github.com/w3c/alreq: * Various editorial improvements throughout by r12a https://github.com/w3c/alreq/commit/c2107dd965e5c42987334dc806d6001dc35107ac * Merge pull request #230 from w3c/r12a-patch-1 Various editorial improvements throughout by r12a https://github.com/w3c/alreq/commit/941b6ab5930bbe07fc5deac4ce5e1abcaea82c72Received on Wednesday, 13 May 2020 17:32:09 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:42 UTC