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

[shex] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Mon, 13 Nov 2017 15:04:41 +0000
To: public-shex-dev@w3.org
Message-ID: <push-d770477bcc2639130a2a370e5c0860233465febe-1510585480-sysbot+gh@w3.org>

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

* ~ Mark regions
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/d770477bcc2639130a2a370e5c0860233465febe
Received on Monday, 13 November 2017 15:04:51 UTC

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