Re: Killing old dead bugs

[Mikhail Maltsev]

Hi. Yes, bug maintenance is appreciated. See this message and replies
to it: https://gcc.gnu.org/ml/gcc/2016-04/msg00258.html .
I'm not sure that there is a documented policy, but I might be wrong.

-- 
Regards,
   Mikhail Maltsev