4403cd16f9
It's not needed since #66338 and should have been done earlier. This is based on a follow-up on #56167.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.