maintainer-list.nix: remove tohl

Because tohl disappeared (last seen 2021-01-28).
2022-10-23 11:36:17 -03:00
parent a0ae2b81c0
commit 8594b1ccb9
1 changed files with 0 additions and 6 deletions
@@ -13724,12 +13724,6 @@
    githubId = 2164118;
    name = "Tobias Bora";
  };
-  tohl = {
-    email = "tom@logand.com";
-    github = "tohl";
-    githubId = 12159013;
-    name = "Tomas Hlavaty";
-  };
  tokudan = {
    email = "git@danielfrank.net";
    github = "tokudan";