We don't generally link to tickets in the release notes. If there are other details you think people will need to know about, let's include them here.