Skip to content

Conversation

dstansby
Copy link
Member

@dstansby dstansby commented Oct 8, 2024

As proposed by @paddyroddy in #458 (review), I think this is a good idea too 👍

Copy link
Member

@paddyroddy paddyroddy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🫐

@dstansby dstansby merged commit 8fe8b89 into main Oct 8, 2024
12 checks passed
@dstansby dstansby deleted the dstansby-patch-1 branch October 8, 2024 16:08
@samcunliffe
Copy link
Member

🫐

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.

3 participants