Vladimír Čunát d10c3cc5ee
Merge: more compatibility for git* fetchers
They're additional commits from #26877.
Changing names of the fetched stuff was changing very many hashes,
and I think it's better to avoid that for the moment to reduce work
needed by nixpkgs users.  The fetchers are expected to be commonly
used even outside nixpkgs, and the current naming wasn't that bad
usually.
2017-07-09 09:50:30 +02:00
..
2017-06-03 20:51:01 +02:00