Deprecating via wiki label had the same effect as
https://jenkins.io/doc/developer/publishing/removing-from-distribution/ so
that is its replacement at the moment.
This change was announced in
https://groups.google.com/d/msg/jenkinsci-dev/t_qgJ4PEOz8/dRLhfM2oDQAJ
FWIW I plan to improve this with
I have not noticed the process was updated...
Thanks!
--
oliver
--
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