diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-19 20:56:48 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-19 20:56:48 +0700 |
commit | d53846e29ef3d614b73ff749c0dab659d8991062 (patch) | |
tree | 5c8c8189e3c93b49209a31f4e8d22357fc781986 /nixos/doc/manual/from_md/release-notes | |
parent | 41f1752eaaa2aedb5f92f8ba6ef547331180824e (diff) | |
parent | e32da890c9bbfadcd41bd70de00de6f14b737840 (diff) | |
download | nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.gz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.bz2 nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.lz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.xz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.zst nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.zip |
Merge pull request #130583 from jvanbruegge/isabelle2021
Isabelle: 2020 -> 2021
Diffstat (limited to 'nixos/doc/manual/from_md/release-notes')
-rw-r--r-- | nixos/doc/manual/from_md/release-notes/rl-2111.section.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml b/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml index 85329c11413..88d075a9a48 100644 --- a/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml +++ b/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml @@ -517,6 +517,12 @@ changelog</link>. </para> </listitem> + <listitem> + <para> + The <literal>isabelle</literal> package has been upgraded from + 2020 to 2021 + </para> + </listitem> </itemizedlist> </section> <section xml:id="sec-release-21.11-notable-changes"> |