W3C home > Mailing lists > Public > public-dxwg-wg@w3.org > July 2018

[dxwg] new commits pushed by jpullmann

From: Jaroslav Pullmann via GitHub <sysbot+gh@w3.org>
Date: Tue, 17 Jul 2018 15:57:22 +0000
To: public-dxwg-wg@w3.org
Message-ID: <push-51ef8565fa399ce1db4dd85ee3ee5321e31d57e3-1531843041-sysbot+gh@w3.org>

The following commits were just pushed by jpullmann to https://github.com/w3c/dxwg:

* Revision to UC19

Following [ACTION-59](https://www.w3.org/2017/dxwg/track/actions/59).

This revision was proposed on 23 Jan 2018 - see [the relevant email](https://lists.w3.org/Archives/Public/public-dxwg-wg/2018Jan/0079.html).

No positive / negative feedback so far. Please consider merging.
  by Andrea Perego

* Merge pull request #200 from w3c/andrea-perego-patch-1

Revision to UC19 is fine, sorry for that much belated approval!
  by Jaroslav Pullmann
Received on Tuesday, 17 July 2018 15:57:27 UTC

This archive was generated by hypermail 2.3.1 : Monday, 29 April 2019 13:45:00 UTC