fplll: add timokau to the maintainers list

2019-12-12 17:50:13 +01:00
parent cf0419e7d5
commit d69b099f28
1 changed files with 1 additions and 1 deletions
@@ -39,7 +39,7 @@ stdenv.mkDerivation rec {
      "https://groups.google.com/forum/#!searchin/fplll-devel/FPLLL$20${version}"
    ];
    license = licenses.lgpl21Plus;
-    maintainers = with maintainers; [raskin];
+    maintainers = with maintainers; [raskin timokau];
    platforms = platforms.unix;
  };
 }