W3C home > Mailing lists > Public > public-css-archive@w3.org > May 2017

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

From: fantasai via GitHub <sysbot+gh@w3.org>
Date: Wed, 17 May 2017 17:37:25 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-302169152-1495042643-sysbot+gh@w3.org>
I'm okay with that.

-- 
GitHub Notification of comment by fantasai
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/174#issuecomment-302169152 using your GitHub account
Received on Wednesday, 17 May 2017 17:37:31 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 October 2017 10:12:53 UTC