Skip to content

Comments

Underflow and Typo#6885

Merged
mergify[bot] merged 2 commits intosigp:unstablefrom
AgeManning:minor-things
Jan 30, 2025
Merged

Underflow and Typo#6885
mergify[bot] merged 2 commits intosigp:unstablefrom
AgeManning:minor-things

Conversation

@AgeManning
Copy link
Member

Issue Addressed

I was looking at sync and noticed a potential underflow and a typo, so just fixed those whilst I was in there.

@AgeManning AgeManning added the ready-for-review The code is ready for review label Jan 30, 2025
@AgeManning AgeManning requested a review from jxs as a code owner January 30, 2025 05:02
@jimmygchen jimmygchen added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Jan 30, 2025
mergify bot added a commit that referenced this pull request Jan 30, 2025
@mergify mergify bot merged commit 1fe0ac7 into sigp:unstable Jan 30, 2025
31 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-for-merge This PR is ready to merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants