Subject: Re: [bug#30454] [PATCH] gnu: make-linux-libre: Use invoke.
From: Mark H Weaver <[email-masked]>
To: Leo Famulari <[email-masked]>
Cc: Danny Milosavljevic <[email-masked]>, [email-masked]
Date: Sun, 18 Feb 2018 00:09:26 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

I just pushed Danny's commit to master along with kernel updates, commit
fdd400d82ed83e230331f837aee70e1d504fe58c.  I'm marking this as done.

     Thanks!
       Mark