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:06 +0000
To: public-shex-dev@w3.org
Message-ID: <push-f853cb4d793476590bd75e2eaa54a1872d72b537-1507564192-sysbot+gh@w3.org>

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

* Create 20171010-agenda.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/f853cb4d793476590bd75e2eaa54a1872d72b537
Received on Monday, 9 October 2017 15:49:55 UTC

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