assigned to @p.const
enabled an automatic merge when the pipeline for 8f5bc34b succeeds
merged
mentioned in commit 24ec2025