aphillips has just submitted a new pull request for https://github.com/w3c/string-search: == Modernization in preparation to edit == Various changes in preparation for editing this document to address #10. - Updated respec to no longer use respec-common - Removed "conformance" section (since this is Note track) - Some amount of line-joining - Fixed several typos - Copied in shared local.css stylesheet and incorporated the one local style we were using - Copied in our more-modern "special markup" block - Made all references informative See https://github.com/w3c/string-search/pull/11 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Thursday, 30 June 2022 23:23:43 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:48 UTC