(I don't have permission to push directly to protected branches.)
merged
mentioned in commit eb917c65