Just in case someone else stumbles here from Google / elsewhere and is looking for the answer.
You can add for example something like this to your theme’s code (usually functions.php):
/**
* Changes CSV separator in Flamingo plugin.
*/
add_filter('flamingo_csv_value_separator', function($seperator) {
return ';';
}, 999);
