diff options
| author | Gaëtan Gilbert | 2020-12-08 10:33:42 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-12-08 10:33:42 +0100 |
| commit | f4af5d4b09f262ef6388a2c0eeed85bf9b7ab3f9 (patch) | |
| tree | b2ec6bdef7f4642b2ff04ecd4176938a05a4cbbf /dev/ci | |
| parent | bec752e2c354ad0cf939f875586a4db2189bd471 (diff) | |
Congruence: don't replace error messages by "congruence failed"
Fix #13595
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions