summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Documentation/CONTRIBUTORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/CONTRIBUTORS b/Documentation/CONTRIBUTORS
index 2615145eb1e..a4b636459fe 100644
--- a/Documentation/CONTRIBUTORS
+++ b/Documentation/CONTRIBUTORS
@@ -39,6 +39,7 @@ Joao Carreira <jfmcarreira@gmail.com>
Johannes Huber <johu@gentoo.org>
Jonathan Callen <jcallen@gentoo.org>
Jorge Manuel B. S. Vicetto <jmbsvicetto@gentoo.org>
+Karol Herbst <git@karolherbst.de>
Lars Wendler <polynomial-c@gentoo.org>
Locke Shinseiko <wizzleby@gmail.com>
Maciej Mrozowski <reavertm@gentoo.org>