Fix incorrectly merged bits from 80cd2ff73071941a5356555b85a00ee90dfd0e16.

[tinc] / THANKS

diff --git a/THANKS b/THANKS
index 8988785..53aa3de 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -29,6 +29,7 @@ We would like to thank the following people for their contributions to tinc:
 * Mark Glines
 * Markus Goetz
 * Martin Kihlgren
+* Martin Schobert
 * Martin Schürrer
 * Matias Carrasco
 * Max Rijevski