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