Many thanks, it works like a charm!
On Fri, Jun 13, 2014 at 1:08 AM, Peter Reilly <[email protected]> wrote: > Thanks, > > That is great! > > Peter > > > On Wed, Jun 11, 2014 at 5:38 PM, Ognjen Bubalo <[email protected]> > wrote: > >> Thanks for your time Dominik! >> >> I made the release. It should be visible soon. >> >> >> On Wed, Jun 11, 2014 at 10:04 PM, Dominik Stadler <[email protected] >> > wrote: >> >>> Hi, >>> >>> I have now merged the changes and verified that it still works fine >>> with older JDKs and also that jobs running with JDK8 also produce >>> useful JaCoCo data. >>> >>> I'll leave the actual release to you. >>> >>> Thanks... Dominik. >>> >>> >>> On Thu, Jun 5, 2014 at 11:01 AM, Ognjen Bubalo <[email protected]> >>> wrote: >>> > Hi, >>> > >>> > I'll check the pull request this week. >>> > >>> > Cheers, >>> > Ogi >>> > >>> > >>> > >>> > On Tue, Jun 3, 2014 at 7:04 PM, Jesse Glick <[email protected]> >>> wrote: >>> >> >>> >> On Tue, Jun 3, 2014 at 9:28 AM, Tamás Kende <[email protected]> >>> wrote: >>> >> > it seems to me the jacoco-plugin is not actively maintained >>> anymore, but >>> >> > there is an important merge request to support java8 >>> >> >>> >> Adding direct notes to people recently maintaining this. >>> > >>> > >>> >> >> -- >> 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]. >> >> For more options, visit https://groups.google.com/d/optout. >> > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Jenkins Developers" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/jenkinsci-dev/TpPNl65UNII/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- 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]. For more options, visit https://groups.google.com/d/optout.
