The bad revsion was merged into master even though this bug was reported and the CI reported the failure.
The bad revsion was merged into master even though this bug was reported and the CI reported the failure.