summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorGuido Imperiale <crusaderky@gmail.com>2019-12-03 14:20:06 +0000
committerGuido Imperiale <crusaderky@gmail.com>2019-12-03 14:20:06 +0000
commitccfe41805ddeb8a7bde03f3845f3bfa5a3e71d7e (patch)
tree2ec7f7362d4ea896e78504cbd0adab8a7a083458 /AUTHORS
parent1d60fbed740628b556c809f6a5a4279ee048c06f (diff)
parentcf05eb8ddb74895a01986bb77d6aef64429cabf5 (diff)
downloadpint-ccfe41805ddeb8a7bde03f3845f3bfa5a3e71d7e.tar.gz
Merge branch 'master' into 795_preserve_caches
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index a89af23..6bb6358 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -20,6 +20,7 @@ Other contributors, listed alphabetically, are:
* Felix Hummel <felix@felixhummel.de>
* Francisco Couzo <franciscouzo@gmail.com>
* Giel van Schijndel <me@mortis.eu>
+* Ignacio Fdez. Galván <jellby@yahoo.com>
* James Rowe <jnrowe@gmail.com>
* Jim Turner <jturner314@gmail.com>
* Joel B. Mohler <joel@kiwistrawberry.us>