Subject: Re: bug#53837: [PATCH] gnu: Remove leftover patch files.

From: Leo Famulari <[email-masked]>
Date: Wed, 9 Feb 2022 11:45:19 -0500

On Wed, Feb 09, 2022 at 11:48:37AM +0100, Ludovic Courtès wrote:
> Perhaps you can share the script that you used?  That way we can review
> the script rather than its output.  :-)

Sure, I did this:

`find gnu/packages/patches | while read patch; do git grep ${patch##gnu/packages/patches/} gnu/packages >/dev/null || echo "${patch##gnu/packages/patches/} is leftover?"; done`

I figure it could cause a problem if a patch file was used somewhere
besides 'gnu/packages', or if the patch file name was "constructed".