Block a user
7255fae5d0
Bump the version to 0.7.12a.
03407c7afb
Correction of Automake macros
dd5fefe22d
Update the TODO list and bump the version to 0.7.12.
cbba5c2a33
Remove config.h.in from the git repo, as it is autogenerated.
27082f9629
Minor updates of the documentation.