W3C home > Mailing lists > Public > public-shex-dev@w3.org > October 2017

[shex] new commits pushed by jimkont

From: Dimitris Kontokostas via GitHub <sysbot+gh@w3.org>
Date: Mon, 09 Oct 2017 15:50:46 +0000
To: public-shex-dev@w3.org
Message-ID: <push-aa3388d3a12ad7123e160e551799ee40d3af5d39-1507564232-sysbot+gh@w3.org>

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

* Update 20171010-agenda.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/aa3388d3a12ad7123e160e551799ee40d3af5d39
Received on Monday, 9 October 2017 15:50:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 4 June 2019 11:00:16 UTC