summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS2
-rw-r--r--AUTHORS.src1
2 files changed, 2 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index 5ca21567b1..4660c5de36 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -3924,6 +3924,7 @@ Pavel Moravec <pmoravec[AT]redhat.com>
Robert Long <rlong[AT]sandia.gov>
James Lynch <lynch007[AT]gmail.com>
Chidambaram Arunachalam <carunach[AT]cisco.com>
+João Valverde <joao.valverde[AT]tecnico.ulisboa.pt>
From git log
@@ -4055,7 +4056,6 @@ Jorge Power <jpower[AT]rsscorp.org>
Josef Baumgartner <josef.baumgartner[AT]br-automation.com>
Joseph Huffman <jhuffman[AT]codeaurora.org>
Josip Medved <jmedved[AT]jmedved.com>
-João Valverde <joao.valverde[AT]tecnico.ulisboa.pt>
Juan Jose Martin Carrascosa <juanjo[AT]rti.com>
Juan Matias <jmrepetti[AT]gmail.com>
Juanjo Martin <juanjo[AT]rti.com>
diff --git a/AUTHORS.src b/AUTHORS.src
index 3c9122e5ef..2300ec1763 100644
--- a/AUTHORS.src
+++ b/AUTHORS.src
@@ -3924,6 +3924,7 @@ Pavel Moravec <pmoravec[AT]redhat.com>
Robert Long <rlong[AT]sandia.gov>
James Lynch <lynch007[AT]gmail.com>
Chidambaram Arunachalam <carunach[AT]cisco.com>
+João Valverde <joao.valverde[AT]tecnico.ulisboa.pt>
Acknowledgements
------------