[spec] new commits pushed by ericprud

The following commits were just pushed by ericprud to https://github.com/shexSpec/spec:

* + highlightVars
  by Eric Prud'hommeaux
https://github.com/shexSpec/spec/commit/5d903f33594937f1e99a8af6a051e88ccf291334



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

Received on Tuesday, 8 February 2022 08:12:54 UTC