[shex] new commits pushed by ericprud

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

* copied from hackmd
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/9d4201c3be62d78023481da7a5cc193ef3a8ebb7

Received on Saturday, 15 June 2019 16:58:39 UTC