maintainers: add ptrhlm

This commit is contained in:
Piotr Halama 2019-05-18 09:11:21 +02:00
parent 10832b0c4d
commit d7cfe3cad0

View file

@ -4001,6 +4001,11 @@
github = "Ptival";
name = "Valentin Robert";
};
ptrhlm = {
email = "ptrhlm0@gmail.com";
github = "ptrhlm";
name = "Piotr Halama";
};
puffnfresh = {
email = "brian@brianmckenna.org";
github = "puffnfresh";