Skip to content
Snippets Groups Projects

Rename or_intro to weakening

Passed
Hans-Jörg created pipeline for commit abcbcf05
, finished
1 related merge request: !11 Add weakening rule
1 job 2 minutes 53 seconds, queued for 2 seconds