1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CREDITS b/docs/CREDITS
index 447c7ae143..5958d60458 100644
--- a/docs/CREDITS
+++ b/docs/CREDITS
@@ -171,3 +171,4 @@ Mikael Magnusson
 Dominik Wenger
 Henrico Witvliet
 Andrew Scott
+Miguel A. Arévalo

diff --git a/docs/CREDITS b/docs/CREDITS index 447c7ae143..5958d60458 100644 --- a/docs/CREDITS +++ b/docs/CREDITS
@@ -171,3 +171,4 @@ Mikael Magnusson
171	Dominik Wenger	171	Dominik Wenger
172	Henrico Witvliet	172	Henrico Witvliet
173	Andrew Scott	173	Andrew Scott
		174	Miguel A. Arévalo