On 2018-05-07 01:30, Ben Hutchings wrote:
This may sound like a silly request, but does GDM start up if you wiggle the mouse for a few seconds?
Yes, that works for me. I found out that my desktop is also affected by this bug. The "mouse trick" also works there.