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
17 minutes 28 seconds, queued for 4 seconds