Skip to content
Snippets Groups Projects

Merge branch 'bug/remove_arrow_functions' into 'devel_0.12.x'

Failed
Piotr Gawron created pipeline for commit 79177aec
, finished
1 related merge request: !207 Merge Devel 0.12.x into Master (0.13.x)
1 job 1 minute 46 seconds, queued for 0 seconds