Subject: Re: bug#52110: match-error exception in /var/log/cuirass.log
From: Mathieu Othacehe <[email-masked]>
To: Maxim Cournoyer <[email-masked]>
Cc: [email-masked]
Date: Sun, 19 Dec 2021 17:59:47 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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