Subject: bug#39516: Solved

From: "Jose A. Ortega Ruiz" <[email-masked]>
Date: Sun, 09 Feb 2020 03:14:59 +0000

This issue seems to either have been some spurious configuration, or
fixed in latest master.  Please feel free to close it.  Thanks!