Subject: Re: [PATCH] gnu: Add carp.

From: Raghav Gururajan <[email-masked]>
Date: Sat, 12 Nov 2022 04:07:38 -0500

Pushed as 0209ee0b55 to master.

Thanks for the patch.

Regards,
RG.