I didn't see the HUD all day yesterday, and neither today. So I cannot reproduce this with 0.9.7.4 any more, so as soon as this lands in Ubuntu the bug is fixed from my POV. Thanks!
I didn't see the HUD all day yesterday, and neither today. So I cannot reproduce this with 0.9.7.4 any more, so as soon as this lands in Ubuntu the bug is fixed from my POV. Thanks!