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

[shex] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Thu, 11 Oct 2018 15:06:29 +0000
To: public-shex-dev@w3.org
Message-ID: <push-ba33589f5539fa25609fd77f2d454dfaa05af63f-1539270387-sysbot+gh@w3.org>

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

* CREATED
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/ba33589f5539fa25609fd77f2d454dfaa05af63f
Received on Thursday, 11 October 2018 15:06:30 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 11 October 2018 15:06:30 UTC