The fix proposed by eTM in comment #11 is already working perfectly for me, so I patched the Default file that comes with gdm 2.20.0ubuntu3 using his file.
The fix proposed by eTM in comment #11 is already working perfectly for me, so I patched the Default file that comes with gdm 2.20.0ubuntu3 using his file.