On 6/2/2016 1:46 PM, Adam D. Ruppe wrote:
The compiler can help you with that. That's the point of the do not merge PR: it
got an actionable list out of the compiler and proved the way forward was 
viable.

What is supposed to be done with "do not merge" PRs other than close them?

Reply via email to