AUTHORS: Mention Pavel's contributions

This commit is contained in:
Denis Kenzior 2019-01-22 11:03:07 -06:00
parent cc3375e2dd
commit dd72460bd1
1 changed files with 1 additions and 0 deletions

View File

@ -140,3 +140,4 @@ Julien Tournier <tournier.julien@gmail.com>
Nandini Rebello <nandini.rebello@intel.com>
Giacinto Cifelli <gciofono@gmail.com>
Khaled Romdhani <khaledromdhani216@gmail.com>
Pavel Machek <pavel@ucw.cz>