[shex] new commits pushed by ericprud

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

* + agenda += extends
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/8c0ecbbd52a3eb08d83f56930150b1bdca96bff1



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

Received on Wednesday, 19 January 2022 12:56:05 UTC