Subject: Re: [bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel.
From: Mathieu Othacehe <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Thu, 09 Nov 2017 20:37:19 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

> Sure, why not.

Pushed with a small comment on armhf-linux configuration origin.

Thanks,

Mathieu