Thanks for implementing the deprecation marker :) On Thursday 1 February 2024 at 01:01:07 UTC+1 due...@gmail.com 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/d403fc8c-ea12-49b4-9fbc-6bd22ca9c774n%40googlegroups.com.
