- From: Patrick H. Lauke via GitHub <sysbot+gh@w3.org>
- Date: Mon, 11 Nov 2019 20:36:48 +0000
- To: public-pointer-events@w3.org
The following commits were just pushed by patrickhlauke to https://github.com/w3c/pointerevents: * Remove extension doc Remove the extension doc now that the content of it has been merged into the main spec as part of the following pull requests: https://github.com/w3c/pointerevents/pull/307 https://github.com/w3c/pointerevents/pull/306 https://github.com/w3c/pointerevents/pull/294 by Navid Zolghadr https://github.com/w3c/pointerevents/commit/add40d9f45d66618a012f96cdf5dec4f3bcde33d * Merge pull request #310 from NavidZ/remove-extension Remove extension doc by Patrick H. Lauke https://github.com/w3c/pointerevents/commit/5d6b5fb8371a301a71b1f1f379bf247ebed47b3f
Received on Monday, 11 November 2019 20:36:50 UTC