On Thu, 12 Nov 2020 18:58:58 +0100 Thorsten Leemhuis <li...@leemhuis.info> 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
