Subject: Re: [bug#38820] [PATCH] gnu: arandr: Fix build.

From: Kei Kebreau <[email-masked]>
Date: Sun, 05 Jan 2020 11:23:51 -0500

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