Comment # 4 on bug 990724 from Christian Boltz

Johannes, did the fix reach 42.2 in the meantime? If yes, you can probably
close this bug ;-)