https://sourceware.org/bugzilla/show_bug.cgi?id=18920
Tom Tromey <tromey at sourceware dot org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |OBSOLETE --- Comment #5 from Tom Tromey <tromey at sourceware dot org> --- I think resolving and closing are the same? Or if they are different, I don't understand the distinction. Anyway I'm doing it. Thank you. -- You are receiving this mail because: You are on the CC list for the bug.