Subject: Re: bug#52110: match-error exception in /var/log/cuirass.log

From: Mathieu Othacehe <[email-masked]>
Date: Sun, 19 Dec 2021 17:59:47 +0100

Hello Maxim,

> Now for the "version-1.3.0" branch, which *does* exist.

The specifications are not removed anymore but can be deactivated. The
following error caused by an inconsistency between the
evaluations/specifications table should then be fixed.

Thanks,

Mathieu