[charmod-norm] Pull Request: Add mustard for the String Matching section, and rearrange introducto…

r12a has just submitted a new pull request for https://github.com/w3c/charmod-norm:

== Add mustard for the String Matching section, and rearrange introducto… ==
…ry content for that section.

The mustard needs to be retrofitted back into specdev, since it doesn't match what's currently there.

See https://github.com/w3c/charmod-norm/pull/217


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 30 July 2021 13:05:19 UTC