REVERT: revert unnecessary changes
Passed
Timm Fitschen
created pipeline for commit 300ead2c
, finished
1 related merge request: !25 F cpp to string
6 minutes 47 seconds, queued for 7 seconds