Skip to content

Conversation

@mawkler
Copy link
Contributor

@mawkler mawkler commented Apr 21, 2022

No description provided.

Copy link
Owner

@wbthomason wbthomason left a comment

Choose a reason for hiding this comment

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

Thanks! I think this will be a good addition; I'd just like some small changes to keep things clean and consistent before we merge.

@mawkler
Copy link
Contributor Author

mawkler commented Jul 26, 2022

Thanks for your feedback! I've updated the PR accordingly. I've also moved the threshold message to #984 :)

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