I'm going to close the vote as inconclusive. No +1s or -1s.
Regarding, the prospective version number for next release, I would still 
favour 3.2.0 due to lack of API change - but it's not a strong opinion either 
way.

Reply via email to