Skip to content

Conversation

@jh0ker
Copy link
Member

@jh0ker jh0ker commented Jun 30, 2018

No description provided.

@jh0ker jh0ker requested a review from JosXa June 30, 2018 19:18
Copy link
Member

@jsmnbom jsmnbom left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Though the other should technically work, this is definitely more correct :)

@jsmnbom jsmnbom added the 📋 pending-merge work status: pending-merge label Jul 8, 2018
@jsmnbom jsmnbom merged commit 3534102 into master Aug 26, 2018
@jsmnbom jsmnbom deleted the fix-bad-integer-comparison branch September 1, 2018 17:47
@github-actions github-actions bot locked and limited conversation to collaborators Aug 21, 2020
@Bibo-Joshi Bibo-Joshi added 🔌 bug pr description: bug and removed bug 🐛 labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

🔌 bug pr description: bug 📋 pending-merge work status: pending-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants