Subject: resolved in master
From: Daniel Pittman <[email-masked]>
To: [email-masked]
Date: Fri, 19 Oct 2018 09:56:58 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

this issue has been resolved in the master branch, but the bug was not
closed.  cleaning up.