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

[shex] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Tue, 10 Oct 2017 13:54:16 +0000
To: public-shex-dev@w3.org
Message-ID: <push-7095958b859f74bb31e0b0a81d4e11800f7ea538-1507643642-sysbot+gh@w3.org>

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

* propose more issues for discussion today
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/7095958b859f74bb31e0b0a81d4e11800f7ea538
Received on Tuesday, 10 October 2017 13:54:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 24 October 2017 07:24:06 UTC