maintains: add mir06

This commit is contained in:
Armin Leuprecht 2020-06-10 07:32:33 +00:00
parent 96d73edaf3
commit b621677c88

View file

@ -4520,6 +4520,12 @@
github = "minijackson"; github = "minijackson";
name = "Rémi Nicole"; name = "Rémi Nicole";
}; };
mir06 = {
email = "armin.leuprecht@uni-graz.at";
github = "mir06";
githubId = 8479244;
name = "Armin Leuprecht";
};
mirdhyn = { mirdhyn = {
email = "mirdhyn@gmail.com"; email = "mirdhyn@gmail.com";
github = "mirdhyn"; github = "mirdhyn";