On 10/21/2016 09:22 PM, sebb wrote:
> The [email protected] is currently unused.
> 
> Seems to me it ought to be getting the Github issue mails.
> 
> OK if I ask Infra for this to be done?
> Or maybe someone one the PPMC can do it already?
> 
sgtm, probably best to make a ticket so the request is recorded somewhere.

Reply via email to