On Tue, Dec 31, 2024 at 11:36:48AM +0100, [email protected] wrote:
> This patch fixes an endless loop in the scrutinizer. I have not fully
> analyzed the problem, the scrutinizer has become a nearly unmaintainable
> mess.

My brain is in no state to reason about this, but I tested it and it
works, so went ahead and pushed it.

Cheers,
Peter

Reply via email to