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

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

From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
Date: Fri, 05 May 2017 06:49:28 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-299394875-1493966966-sysbot+gh@w3.org>
@fantasai Your proposal has been rejected, could you please confirm that you can live with that?

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/174#issuecomment-299394875 using your GitHub account
Received on Friday, 5 May 2017 06:49:34 UTC

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