One header was installed, but did not exist, another one was not installed.
enabled an automatic merge when the pipeline for 9003d855 succeeds
mentioned in commit 5a0db24a
merged