Currently, comments are sent to [email protected] For our classical official Jira issue tracker, notifications are sent to [email protected]
If nobody objects (72h as usual), I'll ask infra to switch GitHub issue notifications to [email protected] Regards, Hervé --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
