W3C home > Mailing lists > Public > public-css-archive@w3.org > June 2016

Closed: [csswg-drafts] [mediaqueries] rename pointer/hover to main-pointer/hover

From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
Date: Wed, 22 Jun 2016 06:12:49 +0000
To: public-css-archive@w3.org
Message-ID: <issues.closed-159256544-1466575968-sysbot+gh@w3.org>
tabatkins closed this issue. See 
https://github.com/w3c/csswg-drafts/issues/174
Received on Wednesday, 22 June 2016 06:12:51 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:40:59 UTC