[shex] new commits pushed by jimkont

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

* Rename 20190619-agenda,md to 20190619-agenda.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/1d8e0c98c7060f26178e1392530bd1ac16d1a687

Received on Wednesday, 19 June 2019 12:42:46 UTC