BUG: Fix missing virtual destructor
Passed
Timm Fitschen
created pipeline for commit
5b7c9a49
, finished
1 related merge request: !25 F cpp to string
6 minutes 22 seconds, queued for 11 seconds