Subject: Re: bug#54929: Acknowledgement (./pre-inst-env recompiling files)

From: Andreas Enge <[email-masked]>
Date: Tue, 19 Apr 2022 13:22:07 +0200

The mysterious problem disappeared mysteriously after making a new git
checkout and bootstrapping. Closing the bug.

Andreas