Merge branch 'bauerd/vec-extensions' into 'v2.0-dev'
Passed
Frederik Hennig
created pipeline for commit
4f8e42e6
, finished
For v2.0-dev
5 minutes 44 seconds, queued for 3 seconds