Skip to content
Snippets Groups Projects
user avatar
Pierre-Yves David authored
We use dict.keys() to fetch all keys before starting to delete some. Otherwise
python complains that the dictionnary is altered during iteration.
ec80ae98
History
Name Last commit Last update