Skip to content
Snippets Groups Projects

Merge branch 'dev' into f-full-c

Passed
Florian Spreckelsen created pipeline for commit 31315b51
, finished
1 related merge request: !15 ENH: Allow insert/update/delete and files in Extern C
6 jobs 17 minutes 28 seconds, queued for 4 seconds