Merge branch 'branch-1.13.2' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 10 May 2013 08:53:15 +0000 (10:53 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 10 May 2013 08:53:15 +0000 (10:53 +0200)
commit5a37b0e7bf899d9b7d3835c176da926064b75bb2
treeba9b7512c3e17e414280875a9c45ea1b94e32abe
parent1021f5cf48784b6ed6b28834f14485b52b4c80e3
parent66ab18aedf422dd2a463112acc8310779a7f703e
Merge branch 'branch-1.13.2' into maint

* branch-1.13.2:
  cosmetics: fix few typos, grammaros and missing whitespace
  fixup: remove an obsolete comment
  docs: we still don't have the promised better Java interface
doc/automake.texi