- From: Kagami Sascha Rosylight <notifications@github.com>
- Date: Tue, 19 May 2020 13:57:34 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 19 May 2020 20:57:46 UTC
Somehow it has been incorrectly merged into the preceding section.
You can view, comment on, or merge this pull request online at:
https://github.com/w3c/editing/pull/255
-- Commit Summary --
* [execCommand] Add <section> for the indent command
-- File Changes --
M ActiveDocuments/execCommand.html (2)
-- Patch Links --
https://github.com/w3c/editing/pull/255.patch
https://github.com/w3c/editing/pull/255.diff
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/255
Received on Tuesday, 19 May 2020 20:57:46 UTC