Skip to content

Update editor from asully@ to mych@#466

Merged
a-sully merged 1 commit into
WICG:mainfrom
mingyc:editor
Oct 10, 2025
Merged

Update editor from asully@ to mych@#466
a-sully merged 1 commit into
WICG:mainfrom
mingyc:editor

Conversation

@mingyc

@mingyc mingyc commented Oct 9, 2025

Copy link
Copy Markdown
Contributor

@mingyc

mingyc commented Oct 9, 2025

Copy link
Copy Markdown
Contributor Author

@a-sully

@a-sully a-sully self-requested a review October 9, 2025 17:36
@a-sully a-sully merged commit 9311992 into WICG:main Oct 10, 2025
2 checks passed
github-actions Bot added a commit that referenced this pull request Oct 10, 2025
SHA: 9311992
Reason: push, by @a-sully

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