Thanks where thanks are due
commit95f0b314ea50737c2b0631932328233f130d8373
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 28 Apr 2013 13:16:57 +0000 (28 15:16 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 28 Apr 2013 13:16:57 +0000 (28 15:16 +0200)
treee91e43cbd716ea8a5db1d126f32edfe405531a4f
parent87faab8c881210d0d782427f504c2ab7611c82d8
Thanks where thanks are due
THANKS
doc/thanks.texi