mirror of
https://github.com/nix-community/home-manager.git
synced 2026-01-11 17:39:37 +08:00
It was a bit too ambitious to also remove production of the gcroot, we need it to keep track of the currently active Home Manager configuration. Fixes #7583