Merge pull request #273236 from wegank/hobbes-cleanup

hobbes: drop unused override
This commit is contained in:
Weijia Wang 2023-12-10 13:09:28 +01:00 committed by GitHub
commit 775b6540e7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -731,7 +731,7 @@ with pkgs;
hwatch = callPackage ../tools/misc/hwatch { };
hobbes = callPackage ../development/tools/hobbes { stdenv = gcc10StdenvCompat; };
hobbes = callPackage ../development/tools/hobbes { };
honeycomb-refinery = callPackage ../servers/tracing/honeycomb/refinery { };