Skip to content

prevent division by 0#603

Merged
remicousin merged 1 commit into
masterfrom
nodiv0
Feb 27, 2026
Merged

prevent division by 0#603
remicousin merged 1 commit into
masterfrom
nodiv0

Conversation

@remicousin
Copy link
Copy Markdown
Contributor

Additionally a piece of code has slipped away in a previous conflict resolution rebasing and this has been fixed too.

@remicousin remicousin requested a review from xchourio February 27, 2026 13:52
@remicousin remicousin self-assigned this Feb 27, 2026
@remicousin remicousin merged commit 6b88fa3 into master Feb 27, 2026
1 check passed
@remicousin remicousin deleted the nodiv0 branch February 27, 2026 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants