Comment # 2 on bug 912314 from Christian Boltz

3 years later, 13.x is out of support, and later releases (Tumbleweed and 42.x)
are not affected (which means newer upstream versions have this fixed).

I'll self-close this bug as "fixed in the meantime".