Subject: Re: bug#62791: BUILT_SOURCES not honoured in parallel build?
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Sun, 10 Dec 2023 16:13:46 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch attached.

Looks just fine. Thanks Reuben. I installed it. Closing ...
--all the best, karl.