J Martin Rushton via CentOS wrote: > On 31/08/18 16:47, Yves Bellefeuille wrote: >> Gary Stainburn <gary at ringways.co.uk> wrote: >> > <snip> > >> "Old Pentium" isn't very precise; the first Pentiums were in 1993! > > They were the ones nicknamed "i586.01" see > https://en.wikipedia.org/wiki/Pentium_FDIV_bug > Which a lot of us referred to as the rePentium chip. mark