Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
script_interface: Fix dict_keys-list merge bug (espressomd#4674)
Fixes espressomd#4673 Description of changes: - Convert `dict_keys` to list before trying to concatenate with a list
- Loading branch information