assigned to @dpopov
enabled an automatic merge when all merge checks for d38da496 pass
merged
mentioned in commit 7f163f45