On 4. May 2020, at 19:00, Marshall Schor <[email protected]> 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
