No response in 10 days, assuming that ordering ide-generic has fixed this bug.
Please reopen if you're still seeing this.
No response in 10 days, assuming that ordering ide-generic has fixed this bug.
Please reopen if you're still seeing this.