Subject: Re: bug#71621: (no subject)

From: Leo Famulari <[email-masked]>
Date: Mon, 17 Jun 2024 19:03:37 -0400

Oops! I even deliberately adjusted the hash in this commit, but somehow
I still screwed it up. Sorry!