Subject: bug#33652: close thanks

From: Andy Wingo <[email-masked]>
Date: Wed, 08 May 2019 22:32:30 +0200

close
thanks

Fixed in master.  Thanks very much for the report and patch!