- From: Johannes Wilm <notifications@github.com>
- Date: Fri, 18 Oct 2019 11:29:31 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Friday, 18 October 2019 18:29:33 UTC
@johanneswilm pushed 1 commit. 8e7092b310ff9fca1372db66b17259edf5d45da1 Delete index.html -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/w3c/editing/pull/216/files/2615fbe1e8a128a8983b900de411b62fc31ad77b..8e7092b310ff9fca1372db66b17259edf5d45da1
Received on Friday, 18 October 2019 18:29:33 UTC