f442034
Fix devel mailing list link in Report Issues The old link was not good for two different reasons: 1. It pointed to devel-announce instead of devel 2. It did not point to Hyperkitty, which is a more friendly place