Subject: Re: bug#54570: [PATCH] gnu: Add parole.

From: Maxime Devos <[email-masked]>
Date: Tue, 05 Apr 2022 11:25:29 +0200

Ludovic Courtès schreef op ma 04-04-2022 om 22:54 [+0200]:
> +                  #:sh (search-input-file inputs "bin/bash")

FWIW, this line is unneccessary due to the 'patch-shebangs' phase,
though it might be nice for explicitness.

Greetings,
Maxime.