Skip to content

Editorial: fix indent#1824

Merged
yoshisatoyanagisawa merged 1 commit into
w3c:mainfrom
yoshisatoyanagisawa:editorial
May 26, 2026
Merged

Editorial: fix indent#1824
yoshisatoyanagisawa merged 1 commit into
w3c:mainfrom
yoshisatoyanagisawa:editorial

Conversation

@yoshisatoyanagisawa

@yoshisatoyanagisawa yoshisatoyanagisawa commented May 26, 2026

Copy link
Copy Markdown
Collaborator

I found the indent in the algorithm is wrong, and the numbering in the bullet points is incorrect.


Preview | Diff

I found the indent in the algorithm is wrong, and the numbering in the
bullet points is incorrect.
@yoshisatoyanagisawa

Copy link
Copy Markdown
Collaborator Author

@monica-ch Will you review this?

@yoshisatoyanagisawa yoshisatoyanagisawa merged commit 28e78e7 into w3c:main May 26, 2026
2 checks passed
@yoshisatoyanagisawa yoshisatoyanagisawa deleted the editorial branch May 26, 2026 23:28
github-actions Bot added a commit that referenced this pull request May 26, 2026
SHA: 28e78e7
Reason: push, by yoshisatoyanagisawa

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions Bot added a commit to asleekgeek/ServiceWorker that referenced this pull request May 27, 2026
SHA: 28e78e7
Reason: push, by pull[bot]

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants