On 4. May 2020, at 19:00, Marshall Schor <m...@schor.com> wrote: > > It's marked unresolved / open. Is the version number wrong for 3.1.0?
I was considering to cancel the vote and add this fix to 3.1.0, but then decided against it and forgot to update the fix version. It is now set to 3.2.0. -- Richard