Re: gdm broken today?