Subject: External monitor not working with GDM
From: Royce Strange <[email-masked]>
To: [email-masked]
Date: Wed, 10 Jun 2020 23:01:38 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello.

Ben Sturmfels mentioned that this can be closed,
as it seems he settled on a setup that works for him.

Going to go ahead and close out.