Skip to content

s/drained/starts draining/#724

Open
jan-ivar wants to merge 1 commit intow3c:mainfrom
jan-ivar:draining
Open

s/drained/starts draining/#724
jan-ivar wants to merge 1 commit intow3c:mainfrom
jan-ivar:draining

Conversation

@jan-ivar
Copy link
Member

Align prose with relevant concept

@jan-ivar jan-ivar self-assigned this Feb 13, 2026
@jan-ivar jan-ivar added the Editorial This is an editorial PR that can be merged by editors without discussion label Feb 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Editorial This is an editorial PR that can be merged by editors without discussion

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant