- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Mon, 27 Feb 2023 21:16:14 +0000
- To: public-css-archive@w3.org
For 1, thanks, I've commented or closed, as appropriate. For 2, not *necessarily* - there's nothing in CSS requiring that a px is an integer multiple of device pixels, so that statement can still be reasonable. ^_^ -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5210#issuecomment-1447101563 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 27 February 2023 21:16:16 UTC