From dcac3ec730176549cd52a9a42db2001dc652c30d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Thu, 7 May 2020 11:58:37 +0200
Subject: Remove overlay that overrides the php version

---
 modules/private/websites/tools/git/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'modules/private/websites/tools/git')

diff --git a/modules/private/websites/tools/git/default.nix b/modules/private/websites/tools/git/default.nix
index 55f9ecb..8b1afa8 100644
--- a/modules/private/websites/tools/git/default.nix
+++ b/modules/private/websites/tools/git/default.nix
@@ -43,6 +43,7 @@ in {
         user = config.services.httpd.Tools.user;
         group = config.services.httpd.Tools.group;
         settings = mantisbt.phpFpm.pool;
+        phpPackage = pkgs.php72;
       };
     };
   };
-- 
cgit v1.2.3