mujoco: add GaetanLepage to maintainers

2024-06-07 08:21:18 +02:00
parent 1dcda38ec7
commit 7e7ddf4e4c
1 changed files with 5 additions and 1 deletions
@@ -182,7 +182,11 @@ in stdenv.mkDerivation rec {
    homepage = "https://mujoco.org/";
    changelog = "https://github.com/google-deepmind/mujoco/releases/tag/${version}";
    license = lib.licenses.asl20;
-    maintainers = with lib.maintainers; [ samuela tmplt ];
+    maintainers = with lib.maintainers; [
+      GaetanLepage
+      samuela
+      tmplt
+    ];
    broken = stdenv.isDarwin;
  };
 }