Thanks for implementing the deprecation marker :) On Thursday 1 February 2024 at 01:01:07 UTC+1 [email protected] wrote:
> > https://plugins.jetbrains.com/plugin/1885-jenkins-development-support/versions/stable/478313 > A plumbing change and one new feature: > > 3.0.3 > > - 👻 Compatibility baseline is changed to 2022.3 which also changes > Java level to 17. No functional changes are expected. > - 🚀 Report custom tag attributes that are marked deprecated. > > -- 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/d403fc8c-ea12-49b4-9fbc-6bd22ca9c774n%40googlegroups.com.
