Skip to content

Conversation

odow
Copy link
Member

@odow odow commented Sep 19, 2023

This was another case that JET found (#2268), so working through them all seems valuable.

@odow odow merged commit ad5242c into master Sep 20, 2023
@odow odow deleted the od/fix-split-interval branch September 20, 2023 00:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant