[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 --- Comment #6 from Segher Boessenkool --- So "obsolete" works, and "offtopic" doesn't.

[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 --- Comment #4 from Segher Boessenkool --- I tagged #c2 as obsolete, and it is hidden, so this already works. Yay!

[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 --- Comment #3 from Segher Boessenkool --- I meant *test* comment. Doh.

[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 Segher Boessenkool changed: What|Removed |Added CC||segher at gcc dot gnu.org ---

[Bug web/86867] New bugzilla comment tag to mark comments as obsolete or irrelevant

2018-08-06 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86867 --- Comment #1 from Jonathan Wakely --- I haven't CC'd Frédéric yet, let's decide if we really want this or not first.