Closed carlhammann closed 1 year ago
In PR #330, we reworded an error message, but since CI was buggy when we merged it, a failing test slipped through our nets. This adapts the error message the test expects to the new one.
In PR #330, we reworded an error message, but since CI was buggy when we merged it, a failing test slipped through our nets. This adapts the error message the test expects to the new one.