Subject: Re: [bug#33388] [PATCH] gnu: u-boot: Update to 2018.11.
From: Danny Milosavljevic <[email-masked]>
To: Vagrant Cascadian <[email-masked]>
Cc: [email-masked]
Date: Fri, 16 Nov 2018 21:05:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to master as commit 504910141efb9b586ec4ce5ceebdb3ced48488e9.

Thanks!