Re: [RFC PATCH v2 21/26] docs: reporting-bugs: details on writing and sending the report

[Jonathan Corbet]

On Thu, 12 Nov 2020 18:58:58 +0100
Thorsten Leemhuis <linux@xxxxxxxxxxxxx> wrote:

> That's also why this commit removes scripts/ver_linux as well: the
> details it collects are only needed in some situations. And some (a
> lot?) distributions do not ship it anyway; a better, more modern script
> would likely resist in tools/, which would increase chances that distros
> shipping it as part of packages like "linux-tools".

Unless you're really sure that nobody us using this script, for whatever
reason, you can't really delete it, though.  It's been patched a couple of
times this year, so somebody is paying attention.  Probably safest to just
leave it there.

jon