Skip to content

Conversation

@saeltz
Copy link

@saeltz saeltz commented Jul 3, 2023

Stumbled upon this in #1677. The tests should be green by now. (Otherwise I'll take another look.)

@saeltz saeltz marked this pull request as ready for review July 3, 2023 11:13
@SethTisue
Copy link
Member

thanks — I'll include this change in #1677

@SethTisue SethTisue closed this Jul 3, 2023
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