Merge request pipeline #952523 passed
Merge request pipeline passed for 53a2f04e Oct 10, 2023
Pipeline #952526 passed with warnings
Pipeline passed with warnings for 56b3e3ab on master Oct 10, 2023
enabled an automatic merge when the pipeline for 53a2f04e succeeds
mentioned in commit 56b3e3ab
merged
