Subject: Re: [PATCH] gnu: praat: Update to 6.3.10.

From: Preston Miller Firestone <[email-masked]>
Date: Wed, 21 Jun 2023 07:00:02 -0500

Hi all,

Bumping this patch to hopefully get attention. The praat package
currently in the main distribution is broken and has been for several
weeks; it would be wonderful if this patch could be applied.

Preston