Change delimiter in CSV export

Add the following to your theme’s functions.php file or to a custom plugin to modify the default delimiter Leads uses when exporting leads in CSV files.