This would be awesome, +1! On Mon, Oct 12, 2020 at 2:08 PM Jesse Glick <[email protected]> wrote:
> See https://github.com/jenkinsci/jep/pull/309 for details. The core PR > has been prepared, along with PRs to a number of plugins which require > modification to be compatible. (All of those PRs can and should be > merged & released in advance of the core change.) I am hoping to get > this merged after the next LTS baseline has been cut, if there are no > objections. > > -- > 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/CANfRfr1P2izJbsRE%2BCyA8NQgWkdTFPyaBZsXTTywKpeSNBafLw%40mail.gmail.com > . > -- Website: http://earl-of-code.com -- 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/CAPiUgVfw-g%3DJBNGeUtP5kVA9GVqL3SuZ2u185K4MFvNdDoCk6g%40mail.gmail.com.
