Credit @mweinelt for #15124

pull/15455/merge
Sergey M․ 2018-02-09 23:09:16 +07:00
parent 430f2ca544
commit 042968ff31
No known key found for this signature in database
GPG Key ID: 2C393E0F18A9236D
1 changed files with 1 additions and 0 deletions

View File

@ -235,3 +235,4 @@ Yang Hongbo
Lei Wang Lei Wang
Petr Novák Petr Novák
Leonardo Taccari Leonardo Taccari
Martin Weinelt