Subject: Closing

From: Andreas Enge <[email-masked]>
Date: Sat, 5 Sep 2020 22:38:44 +0200

This version is so old that the bug report does not seem relevant any more.
Please open a new bug when "make check" fails.

Andreas