- From: Johannes Wilm <notifications@github.com>
- Date: Fri, 18 Oct 2019 11:15:04 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Friday, 18 October 2019 18:15:07 UTC
@johanneswilm pushed 1 commit. 9c71ad1f684dfe4280786e5739125496dc4ba74f delete extra lines -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/w3c/editing/pull/215/files/01cb0bc9c0019b6a750a7bcced26b9d2c61f597e..9c71ad1f684dfe4280786e5739125496dc4ba74f
Received on Friday, 18 October 2019 18:15:07 UTC