New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dart fixups #370

Merged

robertbastian merged 2 commits into main from dart

Nov 24, 2023

Collaborator

robertbastian commented Nov 23, 2023 •

edited

Loading

Part of #439


          dart

cba47ae

robertbastian requested a review from Manishearth

November 23, 2023 00:37


          cleanup

a41501e

robertbastian merged commit 0f6284d into main

5 checks passed

Collaborator Author

robertbastian commented Nov 24, 2023

Merging this to make the next PR more reviewable.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet