Dear Josh,

On Tue, 5 May 2020 at 16:20, Josh Holland <[email protected]> wrote:

> Ah, that's good.  I'll just wait for the (hopefully soon) core-updates
> merge since this isn't essential to me.  If it is fixed, then presumably
> this bug can be closed?

Could you confirm that the bug is now fixed for you?
If yes, just reply to [email protected]

Thank you in advance.

All the best,
simon



Reply via email to