From 65a64e634ab0f89ba87f826029c8247a48ef82c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 10 Jun 2020 12:29:01 +0200 Subject: [PATCH] Update changelog for 8.12+beta1. --- .../10-standard-library/12484-fix12483.rst | 6 ----- doc/sphinx/changes.rst | 24 ++++++++++++++----- 2 files changed, 18 insertions(+), 12 deletions(-) delete mode 100644 doc/changelog/10-standard-library/12484-fix12483.rst diff --git a/doc/changelog/10-standard-library/12484-fix12483.rst b/doc/changelog/10-standard-library/12484-fix12483.rst deleted file mode 100644 index 95e7c150a3ec..000000000000 --- a/doc/changelog/10-standard-library/12484-fix12483.rst +++ /dev/null @@ -1,6 +0,0 @@ -- **Fixed:** - Fix the specification of :n:`PrimFloat.leb` which made - :n:`(x <= y)%float` true for any non NaN :n:`x` and :n:`y`. - (`#12484 `_, - fixes `#12483 `_, - by Pierre Roux). diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 51c80e697eab..8427300dc428 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -96,6 +96,16 @@ Changes in 8.12+beta1 .. contents:: :local: +Kernel +^^^^^^ + +- **Fixed:** + Specification of :n:`PrimFloat.leb` which made + :n:`(x <= y)%float` true for any non NaN :n:`x` and :n:`y`. + (`#12484 `_, + fixes `#12483 `_, + by Pierre Roux). + Specification language, type inference ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ @@ -1040,8 +1050,9 @@ Reference manual `#11423 `_, `#11705 `_, `#11718 `_, - `#11720 `_ - and `#11961 `_, by Jim + `#11720 `_, + `#11961 `_ + and `#12103 `_, by Jim Fehrle, reviewed by Théo Zimmermann). - **Added:** A glossary of terms and an index of attributes @@ -1068,10 +1079,11 @@ Reference manual `#11720 `_ `#11797 `_, `#11913 `_, - `#11958 `_ - `#11960 `_ - and `#11961 `_, by Jim - Fehrle, reviewed by Théo Zimmermann). + `#11958 `_, + `#11960 `_, + `#11961 `_ + and `#12103 `_, by Jim + Fehrle, reviewed by Théo Zimmermann and Jason Gross). Infrastructure and dependencies ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^