Also https://plugins.jenkins.io/lucene-search/#releases though there may be a time lag.
Gavin’s answer is definitive. Also: https://gist.github.com/jglick/0a85759ea65f60e107ac5a85a5032cae -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr0V1g-h%2BR2PzW%2BKhK5tMebiwzMQv-6jjEJF%3DF3MCebo-g%40mail.gmail.com.
