maintainers: add ggpeti

This commit is contained in:
Peter Ferenczy 2019-03-20 13:26:45 +01:00
parent 399061d3e4
commit 9fd4d6cbcb

View file

@ -1770,6 +1770,11 @@
github = "Gerschtli";
name = "Tobias Happ";
};
ggpeti = {
email = "ggpeti@gmail.com";
github = "ggpeti";
name = "Peter Ferenczy";
};
gilligan = {
email = "tobias.pflug@gmail.com";
github = "gilligan";