gcc-prs mailing list?

[Thomas Koenig]

Hi,

is the gcc-prs mailing list active?  The archives show no
bugs entered for example for https://gcc.gnu.org/ml/gcc-prs/2017-04/ .

Regards

        Thomas