> On 22. Jul 2022, at 12:21, Marcel Reutegger <[email protected]> > wrote: > > In my view this information is useless > and I'd even suggest we remove it.
I use this information to quickly check: - which is the latest release - whether the documentation is probably outdated But I don’t a very strong opinion on keeping it. What do others think? Konrad
