Skip to content

Fix for #4241: optimize toolbox.py:sort_counter_by_dependency_level

Damien Naudet requested to merge 4241-optimize-toolbox-py-sort_counter_by_dependency_level into master

Only tested on BM16.

Closes #4241

Merge request reports