On Thursday, 15 February 2024 20.24.15 WET Tom Hughes wrote:

> Use "mock --scrub=all" to flush all the cached data for the problem

> root and that should fix it.

>

> Tom


Thank you Tom. That did it. :-)


I seem to have a faint memory of Miroslav saying that...


Best regards,

--

José Abílio