[string-search] Pull Request: Modernization in preparation to edit

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-config

Received on Thursday, 30 June 2022 23:23:43 UTC