maintainers: add juaningan

This commit is contained in:
Juanjo Presa 2019-05-10 15:41:09 +02:00 committed by Robert Schütz
parent 7e09b531ae
commit 1a046e14a0

View file

@ -2445,6 +2445,11 @@
github = "jtojnar";
name = "Jan Tojnar";
};
juaningan = {
email = "juaningan@gmail.com";
github = "juaningan";
name = "Juan Rodal";
};
juliendehos = {
email = "dehos@lisic.univ-littoral.fr";
github = "juliendehos";