Do questions on the PR preclude merging, despite the presence of two other +1's?