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

[spec] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Tue, 01 May 2018 13:23:17 +0000
To: public-shex-dev@w3.org
Message-ID: <push-61920ff7f08e33ebb59a3e5dcf7708ef73190c0c-1525180996-sysbot+gh@w3.org>

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

* ~ improve whitespace
  by Eric Prud'hommeaux
https://github.com/shexSpec/spec/commit/61920ff7f08e33ebb59a3e5dcf7708ef73190c0c
Received on Tuesday, 1 May 2018 13:23:26 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 May 2018 13:23:26 UTC