You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #1481 merge branch 1.8 into 2.0 (Ener-Getick, xabbuh)
This PR was merged into the 2.0 branch.
Discussion
----------
merge branch 1.8 into 2.0
Commits
-------
bb9d4de Merge branch '1.8' into 2.0
6608121 feature #1460 Backport #1453 (Ener-Getick, xabbuh)
e230461 deprecate the violation formatter
55fafa4 Replace the ViolationFormatter by a new exception
0 commit comments