diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-19T09·59+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-19T09·59+0200 |
| commit | 9b1bdf2db8798c024e6fbe84d4144c04f61d80c7 (patch) | |
| tree | fef23a9b3c8ca9a6cf61a4c60e9fdf7c855ea6fc /.github | |
| parent | d277442df53a01343ba7c1df0bbd2a294058dcba (diff) | |
FIx floating point evaluation
Fixes #2361.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions