Subject: bug#69308: closed (Re: bug#69308: linux-libre-documentation fails to build)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 14 May 2024 15:12:02 +0000

Your bug report

#69308: linux-libre-documentation fails to build

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
69308: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69308
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#69308: linux-libre-documentation fails to build
From: Maxim Cournoyer <[email-masked]>
To: Gabriel Wicki <[email-masked]>
Cc: [email-masked]
Date: Tue, 14 May 2024 11:09:56 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Gabriel Wicki <[email-masked]> writes:

> linux-libre-documentation fails to build (see
> https://ci.guix.gnu.org/build/3512631/details)

This was fixed by Tomas in b6f82b9ef1a3d51a39995598eab9f793656e9123
("gnu: linux-libre-documentation: Fix compilation.").

Closing!

-- 
Thanks,
Maxim

Subject: linux-libre-documentation fails to build
From: Gabriel Wicki <[email-masked]>
To: [email-masked]
Date: Thu, 22 Feb 2024 15:13:03 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

linux-libre-documentation fails to build (see
https://ci.guix.gnu.org/build/3512631/details)