maintainers: add boltzmannrain

2023-11-14 11:18:34 +01:00
parent 9ac9ea2458
commit bb0fe34d79
1 changed files with 6 additions and 0 deletions
@@ -2468,6 +2468,12 @@
    githubId = 50839;
    name = "Brian Jones";
  };
+  boltzmannrain = {
+    email = "boltzmannrain@gmail.com";
+    github = "boltzmannrain";
+    githubId = 150560585;
+    name = "Dmitry Ivankov";
+  };
  booklearner = {
    name = "booklearner";
    email = "booklearner@proton.me";