Merge pull request #118857 from plabadens/free42-3.0.2

free42: 3.0.1 -> 3.0.2
2021-04-08 23:23:54 -03:00
parent 6fc2b7ecc2 c60e80494b
commit a60f46b491
2 changed files with 13 additions and 3 deletions
@@ -7637,6 +7637,16 @@
    githubId = 610615;
    name = "Chih-Mao Chen";
  };
+  plabadens = {
+    name = "Pierre Labadens";
+    email = "labadens.pierre+nixpkgs@gmail.com";
+    github = "plabadens";
+    githubId = 4303706;
+    keys = [{
+      longkeyid = "rsa2048/0xF55814E4D6874375";
+      fingerprint = "B00F E582 FD3F 0732 EA48  3937 F558 14E4 D687 4375";
+    }];
+  };
  plchldr = {
    email = "mail@oddco.de";
    github = "plchldr";