[debbugs-tracker] bug#29409: closed (GuixSD ARM port.)

[GNU bug Tracking System]

Your message dated Thu, 23 Nov 2017 20:09:42 +0100
with message-id <address@hidden>
and subject line Re: [bug#29409] [PATCH] linux-libre: Adapt some arm options to 
match intel conf.
has caused the debbugs.gnu.org bug report #29409,
regarding GuixSD ARM port.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
29409: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29409
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> GuixSD ARM port.
>
>
>
>
> Date: 
>
> Thu, 23 Nov 2017 10:45:16 +0100
>
>
>
>
> User-agent: 
>
> mu4e 0.9.18; emacs 25.2.1
>
>
>
>
> Hi,
>
> I'm currently working on porting GuixSD to ARM using a BBB as a first
> target. As I'm progressing slowly patches are coming one by one. I'll
> use this debbugs id to gather them.
>
> Thanks,
>
> Mathieu
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#29409] [PATCH] linux-libre: Adapt some arm options to match intel conf.
>
>
>
>
> Date: 
>
> Thu, 23 Nov 2017 20:09:42 +0100
>
>
>
>
> User-agent: 
>
> mu4e 0.9.18; emacs 25.3.1
>
>
>
>
> > LGTM, thanks!
>
> Pushed !
>
> Thanks,
>
> Mathieu
>
>
> --- End Message ---