Subject: Closing bug
From: Bob Proulx <[email-masked]>
To: [email-masked]
Date: Thu, 17 Sep 2020 18:08:51 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Since this turned out to be spam I am closing the report.