Subject: Re: [bug#38820] [PATCH] gnu: arandr: Fix build.
From: Kei Kebreau <[email-masked]>
To: [email-masked]
Date: Sun, 05 Jan 2020 11:23:51 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Since there have been no complaints and this is a minor change, I've
pushed it as commit 06c8e87224decebc0a3d5bdc7d2ca13cb2b08299 on master.