- From: Johannes Wilm <notifications@github.com>
- Date: Wed, 17 Jun 2020 02:03:42 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Wednesday, 17 June 2020 09:03:54 UTC
@johanneswilm pushed 3 commits. cbc105dd9afcd2834ab491b95d0be23f5fb26d3d Readd links to moved files 012dea44df7515fcd7a5815d2f59c6cb65338be4 Merge branch 'readd-links' of github.com:w3c/editing into move-docs ecef1e05e9cb5eacda896adf0f4116d0348802d3 reformat spec links -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/w3c/editing/pull/264/files/ce95e64d632ae6334e7e5829b61526e780f2ff22..ecef1e05e9cb5eacda896adf0f4116d0348802d3
Received on Wednesday, 17 June 2020 09:03:54 UTC