Subject: Bug report
From: Scott Baden <[email-masked]>
To: [email-masked]
Date: Mon, 2 Mar 2020 23:15:28 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

As request in the output for running "make  check"
Attached

Scott Baden