Subject: [bug#40833] [PATCH] gnu: u-boot: Update to 2020.04.

From: Mathieu Othacehe <[email-masked]>
Date: Sun, 26 Apr 2020 11:42:43 +0200

Hello!

> I flipped the author/co-author, since it was you who found the fix (I
> get the credit for breaking it :)
>
> Fix pushed to master.
>
> Thanks for the fix!

Closing the ticket opened by Pierre.

Thanks for taking care of this,

Mathieu