Skip to content

Conversation

@bakkot
Copy link
Collaborator

@bakkot bakkot commented Apr 10, 2022

Per #92 (comment). Only one of these two PRs should land, for whichever behavior is intended.

@bcoe bcoe merged commit b7d7b12 into pkgjs:main Apr 10, 2022
@bcoe
Copy link
Collaborator

bcoe commented Apr 10, 2022

@bakkot thanks 👌

@bcoe bcoe mentioned this pull request Apr 10, 2022
4 tasks
@bakkot bakkot deleted the multiple-flags branch April 10, 2022 15:29
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.

4 participants