- From: Pierre-Marie Dartus <notifications@github.com>
- Date: Wed, 30 Oct 2019 07:29:23 -0700
- To: whatwg/dom <dom@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 30 October 2019 14:29:25 UTC
No concern merging, I just realized that I closed unnitentionally the PR. It appears that there is an unrelated failure on the CI, any idea where the issue is comming from? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/dom/pull/681#issuecomment-547932591
Received on Wednesday, 30 October 2019 14:29:25 UTC