diff options
author | Benjamin Barenblat <bbaren@google.com> | 2021-04-27 10:22:00 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2021-06-01 14:28:49 -0400 |
commit | ebc3d7213cf73b26b5e44edff58c759ea44ee9aa (patch) | |
tree | 268965c54acf3d25a653a09c22666ebe42c9fb9b /debian/patches/series | |
parent | 5b48955810e393a365858fd62cd9d21d73b36966 (diff) |
Add patch to correct floating-point rounding
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index e963b998..4e55e401 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,3 +3,4 @@ std-hash.diff latomic.diff cordrepring-typo.diff thumb-function-bounds.diff +float-rounding.diff |