Hi, I created a JIRA yesterday https://issues.apache.org/jira/browse/IVY-716
I was wondering whether jira messages get sent at all now ? It looks like they were going to [EMAIL PROTECTED] If the distribution list to which these messages get sent needs to be changed, I can happily contact infrastructure. I did not see a notification about my JIRA on the dev list of ant. Regards, Antoine
