and fixed a couple tests.
Checking pipeline status.
Pipeline #401721 passed
Pipeline passed for a1fb072a on devel 6 years ago
approved this merge request
merged
mentioned in commit a1fb072a