Subject: Re: [bug#70343] [PATCH] gnu: linux-libre-documentation: Fix the build for linux-libre 6.8.4.

From: Leo Famulari <[email-masked]>
Date: Fri, 12 Apr 2024 20:07:32 -0400

On Fri, Apr 12, 2024 at 02:37:21PM -0400, Maxim Cournoyer wrote:
> Wilko Meyer <[email-masked]> writes:
> > thanks for this! Saw the issue #70324 earlier this day, if I read git
> > log -L :linux-libre-documentation:linux.scm right it's a pretty rare
> > occasion that the inputs of the documentation package change; so I guess
> > breakage caused by missing inputs rarely if ever happen.

Yeah, very rare. And thanks for showing me 'git log -L'. Never seen that
before.

> 
> Applied to master, thanks!  Closing.

Thanks for that!