(In reply to Petr Gajdos from comment #5) > 12.3? This is out of maintenance for half a year, isn't it? > > 13.1 and 13.2 and factory seems not to be affected as far as I can see. > Petr, ignore 12.3 and 13.1. I've cloned the bug and forgot to remove the outdated versions. Thanks.