Add Jenkins plugin update to the release notes.
Review Request #15089 — Created June 2, 2026 and submitted — Latest diff uploaded
The Jenkins plugin is going to get an update to fix issues with RBTools
installation. While this technically has its own release notes managed
by Jenkins' release machinery, we can mention it here too in a more
user-friendly manner.