Hi, On Tue, 31 Aug 2021 at 14:39, Lars-Dominik Braun <l...@leibniz-psychology.org> wrote:
> See attached patch for a fix. LGTM. > Can I simply push that to core-updates-frozen or is there anything else I > should do? >From my point of view, yes you can push because it is a fix. Cheers, simon