Subject: Re: [bug#32664] [PATCH] gnu: youtube-dl: Update to 2018.08.04.

From: Leo Famulari <[email-masked]>
Date: Mon, 10 Sep 2018 20:26:30 -0400

On Tue, Sep 11, 2018 at 07:33:36AM +0800, Alex Vong wrote:
> Jonathan Brielmaier <[email-masked]> writes:
> > Somehow the commit message didn't reflect what was done there. Should be
> > "Update to 2018.09.08" :)
> 
> You're right, I forget to change the commit message. But it has been
> pushed, what should we do now?

Nothing :)

It was a mistake and we documented it here. There's nothing left to do
to fix it.