Author :
Stefano Lattarini
Date :
2013-05-10 10:53:15
Hash :5a37b0e7 Message :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