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

[shex] new commits pushed by jimkont

From: Dimitris Kontokostas via GitHub <sysbot+gh@w3.org>
Date: Thu, 25 Oct 2018 15:08:25 +0000
To: public-shex-dev@w3.org
Message-ID: <push-d732e5bc4175e99170fa198b72e9c217690faee2-1540480098-sysbot+gh@w3.org>

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

* Update 20181025-minutes.md
  by Dimitris Kontokostas
https://github.com/shexSpec/shex/commit/d732e5bc4175e99170fa198b72e9c217690faee2
Received on Thursday, 25 October 2018 15:08:27 UTC

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