Skip to content
Snippets Groups Projects

Remove ◇ in def of ⊑.

Passed
iris-dev created pipeline for commit fd9a4c7a
, finished
For master
Scheduled branch
1 job 20 minutes 20 seconds, queued for 529 seconds