- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Thu, 22 Mar 2018 23:29:52 +0000
- To: public-css-archive@w3.org
I committed the same changes as you, and then realized you had made a PR for them, and so I just merged it--which was a valid action, but merged an empty diff, so it closed the PR without adding a changeset into the logs. -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/2457#issuecomment-375490984 using your GitHub account
Received on Thursday, 22 March 2018 23:30:06 UTC