[dune_list_filter()] Fix copy-n-paste error.

Merge request reports

Loading