Subject: Re: [bug#31308] [PATCH 0/3] Support u-boot on wandboard and mx6cuboxi
From: Danny Milosavljevic <[email-masked]>
To: Vagrant Cascadian <[email-masked]>
Cc: [email-masked]
Date: Sun, 29 Apr 2018 17:26:16 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

thanks!

I've applied these patches to master.

Just a heads-up, there are now files "SPL" and "spl" (with different contents) being installed.  That's fine as long as we are using a case-sensitive filesystem, which we probably are.

Let's just keep an eye on it.