On 10/16/2016 11:39 PM, Jacob Carlborg wrote:
Most likely Andrei already merged Walter's PR for DMD for this DIP,
> three weeks ago after being open for two hours.

What are you referring to?

Reply via email to