Hi, On Thu, 07 Dec 2023 at 23:46, Ludovic Courtès <ludovic.cour...@inria.fr> wrote:
> Back in 2018, this was deemed important for HPC clusters, where CentOS 6 > was then relatively common, as Ricardo explained: Héhé! A colleague re-installed CentOS 6 this week; for testing purpose. Hum… :-) > Five years later, it seems reasonable to drop the patch (which is likely > untested these days). If you disagree, now’s the time to make your > voice heard! Yeah, let drop this patch. Well, CentOS 7 will be soon end of life so it seems very reasonable to drop patches for CentOS 6 only. Cheers, simon