Move Sink and DontCare to special_operations
Passed
Oscar Gustafsson
created pipeline for commit
e493a5a6
, finished
1 related merge request: !520 Move Sink and DontCare to special_operations
7 minutes 29 seconds, queued for 5 seconds