3cecef15d7
Users have an older git in their user environment and it doesn't work without it. We should keep it around for a while.
*** 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.