[dune_list_filter()] Fix copy-n-paste error. (!491) · Merge requests · Core Modules / dune-common

Merged Jö Fahlke requested to merge fix/dune_list_filter_copynpaste into master 6 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:06:22 6 years ago	[dune_list_filter()] Fix copy-n-paste error. #8620 fix/dune_list_filter_copynpaste 64582508		Stage: test	Download artifacts No artifacts found

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