Reply-To for issues@stdcxx.a.o

[Martin Sebor]

The Reply-To address for the issues list is set to [EMAIL PROTECTED]
I'm wondering if that's what we want. Shouldn't it be set to dev like
the commits list is?

Martin