> I suspect Martin will also want to tag a new upstream release with the fix very soon after that.
Correct. Can we make this public after the Easter holidays? I took an extra holiday tomorrow, and Fri/Mon are national holidays. Given for how long this has existed, pushing this out on Tuesday might suffice?
> I suspect Martin will also want to tag a new upstream release with the fix very soon after that.
Correct. Can we make this public after the Easter holidays? I took an extra holiday tomorrow, and Fri/Mon are national holidays. Given for how long this has existed, pushing this out on Tuesday might suffice?