Merge pull request #294486 from trofi/envoy-drop-redundant-pin-to-gcc12-if-gcc13

envoy: drop redundant `pin-to-gcc12-if-gcc13`
This commit is contained in:
Weijia Wang 2024-03-09 14:27:06 +01:00 committed by GitHub
commit 24b99fbff9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -26043,11 +26043,11 @@ with pkgs;
engelsystem = callPackage ../servers/web-apps/engelsystem { php = php81; };
envoy = pin-to-gcc12-if-gcc13 (callPackage ../servers/http/envoy {
envoy = callPackage ../servers/http/envoy {
go = go_1_20;
jdk = openjdk11_headless;
gn = gn1924;
});
};
ergochat = callPackage ../servers/irc/ergochat { };