From ae7c7cfef9528c7ce8b24d3be43cd41313e72521 Mon Sep 17 00:00:00 2001 From: Yoni Rabkin Date: Mon, 30 Jun 2014 14:35:41 -0400 Subject: * AUTHORS: Add Jose Antonio Ortega Ruiz. --- AUTHORS | 1 + 1 file changed, 1 insertion(+) (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS index 040756e..ef82fc3 100644 --- a/AUTHORS +++ b/AUTHORS @@ -6,6 +6,7 @@ Damien Elmes Daniel Brockman Jean-Philippe Theberge Jorgen Schaefer +Jose Antonio Ortega Ruiz Lawrence Mitchell Lucas Bonnet Mario Domgörgen -- cgit v1.2.3