Merge branch 'dev' into f-full-c
Passed
Henrik tom Wörden
created pipeline for commit
0115f88b
, finished
1 related merge request: !15 ENH: Allow insert/update/delete and files in Extern C
22 minutes 31 seconds, queued for 8 seconds