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

From: Maxim Cournoyer <[email-masked]>
Date: Tue, 14 May 2024 11:09:56 -0400

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