diff options
author | Christian Hesse <mail@eworm.de> | 2022-05-02 12:05:11 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2022-05-02 13:12:58 +0200 |
commit | c84017de2c1b45866e04a03fea587bab2d9e077c (patch) | |
tree | 5cf99880fe49753a410a4713b2ccd34f98993cb4 | |
parent | 087e7bc3b7cf46054c17bf91558c69a1802dc043 (diff) |
update list of contributors
(cherry picked from commit e9575ead7ab16b1af0ce1407db7706b6e3f805b2)
-rw-r--r-- | CONTRIBUTIONS.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/CONTRIBUTIONS.md b/CONTRIBUTIONS.md index 2210ea7..a427aed 100644 --- a/CONTRIBUTIONS.md +++ b/CONTRIBUTIONS.md @@ -7,12 +7,14 @@ Thanks a lot for your contributions! ## Patches -These persons contributed code. See the git history for details! +These persons contributed code or documentation. See the git history +for details! * [Ben Harris](mailto:mail@bharr.is) (@bharrisau) * [Daniel Ziegenberg](mailto:daniel@ziegenberg.at) (@ziegenberg) * [Michael Gisbers](mailto:michael@gisbers.de) (@mgisbers) * [netztrip](mailto:dave-tvg@netztrip.de) (@netztrip) +* [Stefan Müller](mailto:stefan.mueller.83@gmail.com) (@PackElend) ## Donations |