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 14:12:28 +0000
To: public-shex-dev@w3.org
Message-ID: <push-67083518cb3e1386ac91d8f8cfe881f1729eab40-1539267146-sysbot+gh@w3.org>

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

* update mintutes
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/67083518cb3e1386ac91d8f8cfe881f1729eab40
Received on Thursday, 11 October 2018 14:21:19 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 11 October 2018 14:21:20 UTC