enabled an automatic merge when the pipeline for 1dcf116b succeeds
merged
mentioned in commit 5574432f
This was not a good fix.
Fixed in 22554a3f
Yes, I've seen it. I was locally debugging it, but thanks for the fix
