removes unnecessary DUMUX:: prefix in problems
Checking pipeline status.
Merge details
mentioned in commit f8608045
Status changed to merged