[dxwg] new commits pushed by jpullmann

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
https://github.com/w3c/dxwg/commit/5df04f2ffc03bbb1b45c031c390483ca93e8a62e

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

Revision to UC19 is fine, sorry for that much belated approval!
  by Jaroslav Pullmann
https://github.com/w3c/dxwg/commit/51ef8565fa399ce1db4dd85ee3ee5321e31d57e3

Received on Tuesday, 17 July 2018 15:57:27 UTC