Closed Beman closed 11 years ago
Why is this closed?
On Thu, Feb 7, 2013 at 3:53 PM, Dave Abrahams notifications@github.comwrote:
Why is this closed?
Because it is going to become a milestone, and I didn't see a way to convert an issue to a milestone.
--Beman
These events need to happen more or less simultaneously: