Merge branch 'maint' into branch-1.11
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 19:31:40 +0000 (20:31 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 19:31:40 +0000 (20:31 +0100)
commit81ef91cff6070cb603ed173990795e6f61e83477
tree04cc35cb420f7acf0676cee3abb53d70f5be45df
parent8215976e33c4efef5beae1c897c0a7e64fcda7a2
parent9508ef35139a066171cb6aedfa63000482477495
Merge branch 'maint' into branch-1.11

* maint:
  release: don't run "make distcheck" automatically
  hacking: update on-line documentation for stable releases only
  hacking: described release procedure applies to beta releases too
  readme: the documentation is production quality now
  hacking: tell about platform-testers mailing list
  hacking: we don't use sources.redhat.com anymore
  hacking: miscellaneous minor fixes
ChangeLog
HACKING
Makefile.in