mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-07-26 02:20:36 +00:00
(cherry picked from commit 17c0a1f812)
The problem happens on 19.03 as well. This way we'll also update the
manual served on the web site.
(cherry picked from commit 17c0a1f812)
The problem happens on 19.03 as well. This way we'll also update the
manual served on the web site.