W3C home > Mailing lists > Public > public-shex-dev@w3.org > February 2019

[spec] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Sat, 23 Feb 2019 19:18:44 +0000
To: public-shex-dev@w3.org
Message-ID: <push-34da3f4450ef2d62d70f5604439c099d4782bced-1550949523-sysbot+gh@w3.org>

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

* ~ force <pre/> spacing with NO-BREAK SPACE
  by Eric Prud'hommeaux
https://github.com/shexSpec/spec/commit/7dba640db2c080d54e820eacafcf1e9305fbac18

* Merge branch 'gh-pages' of github.com:shexSpec/spec into gh-pages
  by Eric Prud'hommeaux
https://github.com/shexSpec/spec/commit/34da3f4450ef2d62d70f5604439c099d4782bced
Received on Saturday, 23 February 2019 19:18:46 UTC

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