Skip to content
Snippets Groups Projects

Merge branch 'fix_operators' into 'dev'

Passed
Olivier BICHLER created pipeline for commit cb7ee7d5
, finished
1 related merge request: !414 Update version 0.5.1 -> 0.6.0
15 jobs 41 minutes 17 seconds, queued for 2 seconds