Hmm, yes the recent duplicates of this bug seem to be from 18.10. So there may be a regression in 18.10, or it might just be because the main person answering bug reports only learnt about this timidity issue this week.
I've only had time to link 18.10 bug reports to this one so far. Certainly the symptoms are very common so I would expect to find 18.04 bug reports too. I'll need more time to be sure.
Hmm, yes the recent duplicates of this bug seem to be from 18.10. So there may be a regression in 18.10, or it might just be because the main person answering bug reports only learnt about this timidity issue this week.
I've only had time to link 18.10 bug reports to this one so far. Certainly the symptoms are very common so I would expect to find 18.04 bug reports too. I'll need more time to be sure.