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