Stefan Monnier Fri, 15 Sep 2023 06:24:20 -0700
> So the file in /lib appears to be newer. So what to do? Can I delete > the one in /usr/lib ?
Yes. Stefan