On Sat, Oct 24, 2020 at 03:24:45PM +0100, Jim web wrote: >i.e. came from the openmandriva address. > >Is that correct and as should be expected? No idea, but it's identical to the version 2020.09.20 that I already had.