maintainers: add gravndal

2021-04-01 03:17:09 +02:00
parent 779ef0a43d
commit 89aa5c2fb5
1 changed files with 6 additions and 0 deletions
@@ -3609,6 +3609,12 @@
    githubId = 76716;
    name = "Graham Christensen";
  };
+  gravndal = {
+    email = "gaute.ravndal+nixos@gmail.com";
+    github = "gravndal";
+    githubId = 4656860;
+    name = "Gaute Ravndal";
+  };
  grburst = {
    email = "GRBurst@protonmail.com";
    github = "GRBurst";