mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-24 01:05:15 +00:00
The PR was accidentally merged into master instead of staging and thus reverted. Now, in staging, we can re-revert it.
This reverts commit 4df2f78ec7.