Hi, Gabriel Wicki <[email protected]> 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
