diff --git a/docs/THANKS b/docs/THANKS index 5a0ddc2bfd97ddb8d6655c7a698e9340b6dca81a..99d828ed5601c0917205e911261540fbf373769d 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -75,3 +75,4 @@ that have contributed with non-trivial parts: - Andrew Francis - Tomasz Lacki - Georg Huettenegger + - John Lask