#7484 has been resolved *ages* ago. Months, perhaps even a year, but is still 
open.

How should it be closed? Does one really need to hunt all through trac to find where it was fixed? My initial attempts failed, and since README.txt is not under revision control, there's no obvious way to find out exactly when the changes were made.

Anyway, the ticket can be closed, but I'm not sure how to set the milestone.

Dave

--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to