Skip to content
This repository has been archived by the owner on Jun 20, 2023. It is now read-only.

Address editor feedback #10

Merged
merged 2 commits into from
Jan 30, 2023
Merged

Address editor feedback #10

merged 2 commits into from
Jan 30, 2023

Conversation

rbuckton
Copy link
Collaborator

Address editor feedback from #9.

@github-actions
Copy link

A preview of this PR can be found at https://tc39.es/proposal-async-explicit-resource-management/pr/10.

@rbuckton rbuckton mentioned this pull request Jan 30, 2023
@rbuckton rbuckton merged commit 15df038 into main Jan 30, 2023
@rbuckton rbuckton deleted the editor-feedback branch January 30, 2023 01:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants