On 2019-11-05 05:52, Theo de Raadt wrote: > > > The directory GENERIC.MP in /usr/share/relink/kernel/ was > > obviosly not updated (but directory GENERIC was updated!). > > I doubt it. Upon upgrade, they are both replaced. Then the undesired > one is deleted to avoid overflowing /usr partition, since many users who > have upgraded repeatedly are using older partioning layouts and after > the flip to clang /usr is a bit tight for them.
I confirm again, the directory GENERIC.MP in /usr/share/relink/kernel/ was old, most files from the old GENERIC.MP have date April 13, while most files in the new one are from October 12. Best regards, Bernward.
