On Mon, Nov 14, 2022 at 04:45:05PM +0100, David Hildenbrand wrote: > Note that I don't think the issue I raised is due to 6e6de3dee51a. > I don't have the machine at hand right now. But, again, I doubt this will > fix it. There are *more* modules processed after that commit. That's all. So testing would be appreciated. Luis
