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