Fix missing people in AUTHORS
authorRicardo Mones <ricardo@mones.org>
Sat, 10 Nov 2018 20:18:17 +0000 (21:18 +0100)
committerRicardo Mones <ricardo@mones.org>
Sat, 10 Nov 2018 20:18:17 +0000 (21:18 +0100)
commitb5f5907db1ad5b155b93e4f6c0f0e3306fc2dc96
treef6b5b95a280ad733df5f9fbcac9d8ea9a50cb381
parentc1c7bd71862e1891e8bc3e4933cea2633f20b20e
Fix missing people in AUTHORS
AUTHORS