Merge branch 'dev' into f-full-c
Passed
Florian Spreckelsen
created pipeline for commit 615a96a7
, finished
1 related merge request: !11 ENH: Test insert/update/delete and files in Extern C
17 minutes 38 seconds, queued for 16 seconds