update patron list [skip ci]

This commit is contained in:
Csaba Hruska 2019-06-11 20:29:32 +02:00 committed by GitHub
parent 9705dd2bae
commit 007ff7d284
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,4 +33,5 @@
- Balaji
- Alex Mason
- Felix Schröter
- Péter Diviánszky
<!--10 end-->