[FYI] maint merged into various branches

[Stefano Lattarini]

I've merged maint into the following branches:
 - master
 - java-work
 - parallel-tests-maint
 - python-work
 - yacc-work

Then I've merged master into testsuite-work, yacc-work into
ylwrap-refactor, and pushed.

Regards,
  Stefano