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

+michael #2890

Merged
merged 2 commits into from
Aug 24, 2021
Merged

+michael #2890

merged 2 commits into from
Aug 24, 2021

Conversation

pq
Copy link
Member

@pq pq commented Aug 24, 2021

Follow-up from: #1943 (comment)

/cc @bwilkerson

@google-cla google-cla bot added the cla: yes label Aug 24, 2021
@coveralls
Copy link

coveralls commented Aug 24, 2021

Coverage Status

Coverage remained the same at 94.009% when pulling 717b5b8 on pq-patch-1 into b50ce34 on master.

AUTHORS Outdated Show resolved Hide resolved
@pq pq merged commit 7e8a54e into master Aug 24, 2021
@pq pq deleted the pq-patch-1 branch August 24, 2021 22:13
copybara-service bot pushed a commit to dart-lang/sdk that referenced this pull request Aug 23, 2023
* +michael

* - space
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants