diff options
-rw-r--r-- | docs/CREDITS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CREDITS b/docs/CREDITS index 6b1d893d08..0e1ec6384b 100644 --- a/docs/CREDITS +++ b/docs/CREDITS | |||
@@ -132,3 +132,4 @@ José M. Fandiño | |||
132 | Gadi Cohen | 132 | Gadi Cohen |
133 | Naftali Goldstein | 133 | Naftali Goldstein |
134 | David Dent | 134 | David Dent |
135 | Frank Dischner | ||