From 1274c5d626fec3d65b3eb3cce890e6fa4e06b587 Mon Sep 17 00:00:00 2001
From: cydparser <cydparser@gmail.com>
Date: Sat, 5 Aug 2023 21:27:52 -0700
Subject: [PATCH] Update release notes (#20316)

---
 docs/users_guide/9.10.1-notes.rst | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/users_guide/9.10.1-notes.rst b/docs/users_guide/9.10.1-notes.rst
index 79de359b2329..f2814d6370bc 100644
--- a/docs/users_guide/9.10.1-notes.rst
+++ b/docs/users_guide/9.10.1-notes.rst
@@ -48,6 +48,9 @@ Compiler
   <https://github.com/agda/agda>`_, the size of the build results was reduced by
   about 10% when these info tables were omitted.
 
+- Fixed a bug where compiling with both :ghc-flag:`-ddump-timings` and :ghc-flag:`-ddump-to-file` did not
+  suppress printing timings to the console. See :ghc-ticket:`20316`.
+
 GHCi
 ~~~~
 
-- 
GitLab