maintainers: add urandom

2022-08-17 10:45:25 +00:00
parent 6c36827e98
commit 52edc85c1f
1 changed files with 9 additions and 0 deletions
@@ -13498,6 +13498,15 @@
    githubId = 619015;
    name = "Svintsov Dmitry";
  };
+  urandom = {
+    email = "colin@urandom.co.uk";
+    github = "arnottcr";
+    githubId = 2526260;
+    keys = [{
+      fingerprint = "04A3 A2C6 0042 784A AEA7  D051 0447 A663 F7F3 E236";
+    }];
+    name = "Colin Arnott";
+  };
  urbas = {
    email = "matej.urbas@gmail.com";
    github = "urbas";