This message was deleted.

Hi! Sorry, I think that was my fault. That would be #6307 and a fix should be released soon (not today, though, we try to avoid releasing anything on Fridays…)

Thanks a lot for the fix 😄