Closing this bug report since a fix is released for a duplicate bug report. Also, a test on my thinkpad today revealed that the issue seems solved.
Closing this bug report since a fix is released for a duplicate bug report. Also, a test on my thinkpad today revealed that the issue seems solved.