Skip to content
Snippets Groups Projects

Clarify resolution rule: double negation, justification

Passed
Hans-Jörg created pipeline for commit 0acfc1f7
, finished
For master
1 job 2 minutes 3 seconds, queued for 1 seconds