From: Raghav Gururajan <[email-masked]>
To: [email-masked]
Cc: Sarah Morgensen <[email-masked]>, Efraim Flashner <[email-masked]>
Date: Sun, 25 Jul 2021 02:18:23 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

@Efraim and @Sarah

Thanks for the suggestions.

Pushed as 45881ea747..f703bef87a to master. Closing.

Regards,
RG.