On 3/16/14, 3:28 PM, Jakob Ovrum wrote:
On Sunday, 16 March 2014 at 22:10:50 UTC, monarch_dodra wrote: I'd like to thank you for leaving a PR open for a couple of days before merging after having reviewed it yourself. Even if this practice was widely adopted though, the problem remains with PRs sometimes being merged even when there are still outstanding objections.
We can always undo merges. Andrei
