[shex] new commits pushed by jimkont

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

* Rename 20180102-notes.md to 20180102-minutes.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/3aa499d9ace9c994b09682142b85a0b15a3d0fb6

Received on Monday, 15 January 2018 14:55:31 UTC