Subject: Re: [bug#70300] [PATCH] gnu: linux-libre-documentation: Fix build.

From: Gabriel Wicki <[email-masked]>
Date: Tue, 09 Apr 2024 18:53:45 +0200

Hi

That's kinda odd!  My build host seems to be down right now so I can't retrieve the logs right now, but 6.8.4 failed to build this morning (this linux-libre version was pushed to master only a few hours ago).  The build job has not yet arrived on CI.

If I didn't dream it all you can confirm the build failure with a `guix build linux-libre-documentation` from a recent checkout ;)

Thanks for looking, your weary but curious GNU time traveller
gabber