Skip to content
Snippets Groups Projects

Merge branch 'new_operator' into 'dev'

Passed
Christophe Guillon created pipeline for commit 58c0e326
, finished
1 related merge request: !39 Update 0.2.1 -> 0.3.0
4 jobs 2 minutes 11 seconds, queued for 159 seconds