Skip to content
Snippets Groups Projects
Commit fcf37850 authored by cydparser's avatar cydparser
Browse files

Update release notes (#20316)

parent 0b510e26
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docs/users_guide/9.10.1-notes.rst
+ 3
− 0
View file @ fcf37850
...@@ -48,6 +48,9 @@ Compiler ...@@ -48,6 +48,9 @@ Compiler
<https://github.com/agda/agda>`_, the size of the build results was reduced by <https://github.com/agda/agda>`_, the size of the build results was reduced by
about 10% when these info tables were omitted. 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 GHCi
~~~~ ~~~~
......
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