@MikeHoneychurch asked in chat what we should do with questions that have been tagged as [bugs] now that version 9 was released. Some of these bugs might be fixed in version 9. This post is to start a discussion for deciding this.
|
I propose that:
I went ahead and did this in this question: Issue with PathGraph (A possible reason not to do this too quickly is to avoid the front page being spammed with edits.) |
|||||||
|