W3C home > Mailing lists > Public > public-shex-dev@w3.org > June 2018

[shex] new commits pushed by jimkont

From: Dimitris Kontokostas via GitHub <sysbot+gh@w3.org>
Date: Wed, 06 Jun 2018 13:51:58 +0000
To: public-shex-dev@w3.org
Message-ID: <push-33692d6c936fc28265b6b117ef6e3b14ed57c127-1528293117-sysbot+gh@w3.org>

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

* Rename 2018-05-24-minutes to 20180524-minutes.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/33692d6c936fc28265b6b117ef6e3b14ed57c127
Received on Wednesday, 6 June 2018 13:52:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 6 June 2018 13:52:18 UTC