[charmod-norm] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/charmod-norm:

* Add mustard for the String Matching section, and rearrange introductory content for that section.
  by r12a
https://github.com/w3c/charmod-norm/commit/b176ac0ddfea5b7d4160468e11e533ae7169e895

* Make internal links relative
  by r12a
https://github.com/w3c/charmod-norm/commit/5a1af6f5ba489e1bf293c952c2827626e1b2c289

* Merge pull request #217 from w3c/r12a-patch-1

Add mustard for the String Matching section, and rearrange introducto…
  by r12a
https://github.com/w3c/charmod-norm/commit/ad7243ac2c1a31071ef45843f799ef1064c86d80



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

Received on Thursday, 5 August 2021 14:28:35 UTC