Skip to content

Conversation

@david-crespo
Copy link
Contributor

Followup to suggestion in #776. Not interesting.

@david-crespo david-crespo enabled auto-merge (squash) March 16, 2022 21:34
@david-crespo david-crespo merged commit 1954ce2 into main Mar 16, 2022
@david-crespo david-crespo deleted the into-into-from branch March 16, 2022 22:11
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.

2 participants