Merge branch 'maint' into branch-1.11
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 30 Oct 2011 11:16:41 +0000 (12:16 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 30 Oct 2011 11:16:41 +0000 (12:16 +0100)
commit17087f13dedddf59cf6acae916d5b58688418842
tree513a882a2e854380caa8e9bde9c7bb6082720bcf
parent4e210412ea505cecc65610f11d98db87d4aa439f
parent3df373a8d62784eeab87452a42a08d11b7e75722
Merge branch 'maint' into branch-1.11

* maint:
  fix: regenerate Makefiles
doc/Makefile.in