- From: Peter Linss via GitHub <sysbot+gh@w3.org>
- Date: Wed, 22 Jun 2022 01:13:39 +0000
- To: public-css-archive@w3.org
That all depends on if you want to use this issue to track down time (which is somewhat pointless because we all know there's a problem and there's work underway to fix it), or if you want to use this issue to ping the people who can fix the server to do so, when they actually need to do so. Pinging people, especially those who aren't getting paid to fix the server and need to take time away from actual paid work to deal with this, when *there's nothing for them to do*, isn't helpful. -- GitHub Notification of comment by plinss Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/6528#issuecomment-1162514708 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 22 June 2022 01:13:40 UTC