Do not delete branch yet.
Checking pipeline status.
Pipeline #13505 failed
Pipeline failed for 64def090 on master 7 years ago
merged
mentioned in commit 64def090