diff --git a/.github/contributors.json b/.github/contributors.json index cac1fd537..7d9b1b348 100644 --- a/.github/contributors.json +++ b/.github/contributors.json @@ -1703,5 +1703,10 @@ "name": "Igor Jerosimić", "github_login": "igor-wl", "twitter_username": "" + }, + { + "name": "Pepa", + "github_login": "07pepa", + "twitter_username": "" } ] \ No newline at end of file diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 491c20a2c..4b34cc62b 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -1881,6 +1881,13 @@ Listed in alphabetical order. + + Pepa + + 07pepa + + + Peter Bittner