diff options
author | Roberto Aloi <robertoaloi@users.noreply.github.com> | 2016-12-08 22:47:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-08 22:47:46 +0100 |
commit | a1808f723081f1d7f0161a9ec0277aaf0ef0c8d5 (patch) | |
tree | ff919beb6840bc3bd7badba96f2e4acfeea2e194 /THANKS | |
parent | 51c008fb84ca3313234482be72c80d5aebb0b830 (diff) |
Update THANKS
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -137,3 +137,4 @@ Stefan Grundmann Carlos Eduardo de Paula Derek Brown Heinz N. Gies +Roberto Aloi |