Commit 5a37b0e7bf899d9b7d3835c176da926064b75bb2
2013-05-10T10:53:15
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