Skip to content

Conversation

ares201005
Copy link
Collaborator

@ares201005 ares201005 commented Mar 9, 2022

A small fix to the floating point exception in debug mode.


This change is Reviewable

@ares201005
Copy link
Collaborator Author

I forgot to logout other's GitHub account before I made the previous PR. This is the reason why I closed previous PR and reopen here.

@nicolasbock
Copy link
Collaborator

Thanks @ares201005 !

@ares201005
Copy link
Collaborator Author

I found this PR has not been merged yet. Could someone merge it? Thanks.

@cnegre cnegre merged commit a93b850 into master Mar 22, 2022
@cnegre cnegre deleted the bug_fix branch March 22, 2022 17:49
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.

4 participants