diff --git a/THANKS.in b/THANKS.in index 9b458c37..883387e5 100644 --- a/THANKS.in +++ b/THANKS.in @@ -322,3 +322,4 @@ Tilmann Bubeck Eric J. Mislivec Jean-Claude Computing Andy Brist +Mikael Falkvidd