From c84017de2c1b45866e04a03fea587bab2d9e077c Mon Sep 17 00:00:00 2001 From: Christian Hesse Date: Mon, 2 May 2022 12:05:11 +0200 Subject: update list of contributors (cherry picked from commit e9575ead7ab16b1af0ce1407db7706b6e3f805b2) --- CONTRIBUTIONS.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3-54-g00ecf