On 13/07/2013 18:24, Frank Leonhardt wrote: > Next question: How do you kill a PR you've changed your mind about? just submit a follow up requesting that it be closed as the fix has been applied.