Subject: Re: bug#49317: dist: depends on $(BUILT_SOURCES), but has no reason to

From: Karl Berry <[email-masked]>
Date: Thu, 15 Jul 2021 19:37:25 -0600

Hi Allison - Jim finished pushing your patch a day or two
ago. Complications in testing. Thanks for the contribution! --karl