diff options
| author | Théo Zimmermann | 2020-06-10 12:29:01 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-10 12:29:01 +0200 |
| commit | 65a64e634ab0f89ba87f826029c8247a48ef82c2 (patch) | |
| tree | 6f7725552c214ca148238fecb87be482d97a58a8 /doc/changelog | |
| parent | 95be052f60b1b6b4cc0b12e92b3d1b86b5bd7ca9 (diff) | |
Update changelog for 8.12+beta1.
Diffstat (limited to 'doc/changelog')
| -rw-r--r-- | doc/changelog/10-standard-library/12484-fix12483.rst | 6 |
1 files changed, 0 insertions, 6 deletions
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 95e7c150a3..0000000000 --- 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 <https://github.com/coq/coq/pull/12484>`_, - fixes `#12483 <https://github.com/coq/coq/issues/12483>`_, - by Pierre Roux). |