Subject: Re: bug#70557: Fix compilation of Vala files conditionally added to _SOURCES
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Mon, 6 May 2024 09:17:01 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the Vala doc patch, Reuben. Installed and closing. --best, karl.