Saw it, couldn't not fix it.
Pipeline #8707 failed
Pipeline failed for 81742bd2 on basnijholt:patch-1 7 years ago
Merge details
Pipeline #8721 passed
Pipeline passed for 5f366b9f on master 7 years ago
changed the description
merged
mentioned in commit 5f366b9f
Thanks!