Subject: bug#33686: close this bug

From: [email-masked] (Norman Ramsey)
Date: Fri, 21 Jun 2019 09:53:06 -0400

I made plans to follow up this bug, but life got in the way.
The machine that manifested the bug has just been decommissioned.

Thanks for the help, and please close the ticket.

Norman