Closes #828 (closed)
Merge request pipeline #226767 passed
Merge request pipeline passed for 9189d1e5 1 month ago
Merge details
Closed #828 (closed)
Pipeline #226775 waiting for manual action
Pipeline waiting for manual action for f554e861 on main
added BUG portal labels
assigned to @bodin
requested review from @demariaa
approved this merge request
merged
mentioned in commit f554e861