On 08/10/2018 03:47 PM, John Paul Adrian Glaubitz wrote: > Fantastic, this fixes it! Can we get this into 3.0.0 before release?
Probably not, as -rc4 was supposed to be the last pre-release on Tuesday. But perhaps a revised version can make 3.0.1 (I see problems with this fix). r~