maintainers: antonmosich: add gpg key

2023-10-19 12:59:32 +02:00
parent 5f1d8b7255
commit 64210945d6
1 changed files with 3 additions and 0 deletions
@@ -1274,6 +1274,9 @@
    github = "antonmosich";
    githubId = 27223336;
    name = "Anton Mosich";
+    keys = [ {
+      fingerprint = "F401 287C 324F 0A1C B321  657B 9B96 97B8 FB18 7D14";
+    } ];
  };
  antono = {
    email = "self@antono.info";