diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2021-07-18 23:49:43 +0200 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2021-07-18 23:51:36 +0200 |
| commit | 9111bd40b2411bc9cfdf6a7ab981e83005788837 (patch) | |
| tree | 1d70c4779d57c51e23016aa0d692a3989732518a /nixos/doc | |
| parent | a2497d21d70be896f4cf0b829eb527461ecbfb40 (diff) | |
| download | nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar.gz nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar.bz2 nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar.lz nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar.xz nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.tar.zst nixpkgs-9111bd40b2411bc9cfdf6a7ab981e83005788837.zip | |
isabelle: 2020 -> 2021
Diffstat (limited to 'nixos/doc')
| -rw-r--r-- | nixos/doc/manual/from_md/release-notes/rl-2111.section.xml | 6 | ||||
| -rw-r--r-- | nixos/doc/manual/release-notes/rl-2111.section.md | 2 |
2 files changed, 8 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 0d3c3f2a0da..9fae164c93f 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 @@ -510,6 +510,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"> diff --git a/nixos/doc/manual/release-notes/rl-2111.section.md b/nixos/doc/manual/release-notes/rl-2111.section.md index 1d037e2c5ca..94d203b35b2 100644 --- a/nixos/doc/manual/release-notes/rl-2111.section.md +++ b/nixos/doc/manual/release-notes/rl-2111.section.md @@ -128,6 +128,8 @@ In addition to numerous new and upgraded packages, this release has the followin - `icingaweb2` was upgraded to a new release which requires a manual database upgrade, see [upstream changelog](https://github.com/Icinga/icingaweb2/releases/tag/v2.9.0). +- The `isabelle` package has been upgraded from 2020 to 2021 + ## Other Notable Changes {#sec-release-21.11-notable-changes} - The setting [`services.openssh.logLevel`](options.html#opt-services.openssh.logLevel) `"VERBOSE"` `"INFO"`. This brings NixOS in line with upstream and other Linux distributions, and reduces log spam on servers due to bruteforcing botnets. |