Skip to content
Snippets Groups Projects
Commit 75932553 authored by Craig Tiller's avatar Craig Tiller Committed by GitHub
Browse files

Merge pull request #11702 from ctiller/ubsan101 

Fix potential rounding error
parents 809fbfdc 8af79897
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment