Comment # 2 on bug 1051355 from Ladislav Slez�k

Yes, the fix is not included in the 42.3 version, but it is fixed in
Tumbleweed.

IMHO it does not make sense to release an online update for this rather a
cosmetic issue, so let's keep the fix in TW only.