isabelle: add sempiternal-aurora as maintainer

2026-01-23 22:38:19 +08:00
parent 78dbd6c9b4
commit 2016a39d8d
1 changed files with 1 additions and 0 deletions
@@ -290,6 +290,7 @@ stdenv.mkDerivation (finalAttrs: {
    license = lib.licenses.bsd3;
    maintainers = [
      lib.maintainers.jvanbruegge
+      lib.maintainers.sempiternal-aurora
    ];
    platforms = [
      "x86_64-linux"