Skip to content

Conversation

@zanieb
Copy link
Contributor

@zanieb zanieb commented Mar 28, 2022

As discussed in #145 (comment)

Moves the comment to the proper location and rephrases it

Copy link
Member

@sethmlarson sethmlarson left a comment

Choose a reason for hiding this comment

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

Thanks for finding and fixing this issue!

@pgjones
Copy link
Member

pgjones commented Aug 24, 2022

Thanks, merged as 98e3587

@pgjones pgjones closed this Aug 24, 2022
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