diff options
Diffstat (limited to 'doc/changelog/10-standard-library/09811-remove-zlogarithm.rst')
| -rw-r--r-- | doc/changelog/10-standard-library/09811-remove-zlogarithm.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst b/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst index ab625b9e03..8cfd826be0 100644 --- a/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst +++ b/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst @@ -1,4 +1,4 @@ -- Removes deprecated modules `Coq.ZArith.Zlogarithm` - and `Coq.ZArith.Zsqrt_compat` - (#9881 <https://github.com/coq/coq/pull/9811> +- **Removed:** + Deprecated modules `Coq.ZArith.Zlogarithm` and `Coq.ZArith.Zsqrt_compat` + (`#9881 <https://github.com/coq/coq/pull/9811>`_, by Vincent Laporte). |