From ebc3d7213cf73b26b5e44edff58c759ea44ee9aa Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Tue, 27 Apr 2021 10:22:00 -0400
Subject: Add patch to correct floating-point rounding

---
 debian/patches/series | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debian/patches/series')

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
-- 
cgit v1.2.3