MAINT: replace char[] with string
Passed
Timm Fitschen
created pipeline for commit
26b3d9e5
, finished
1 related merge request: !39 F remove boost rdep
6 minutes 29 seconds, queued for 5 seconds