Please fix the git master build. Gary
On Sat, Aug 26, 2023 at 4:12 PM Gary Gregory <[email protected]> wrote: > I think you should consider reverting to the last green build and go from > there. > > Gary > > On Sat, Aug 26, 2023, 4:10 PM Thomas Vandahl <[email protected]> wrote: > >> Hi Gary, >> >> > Am 26.08.2023 um 19:58 schrieb Gary Gregory <[email protected]>: >> > >> > Does anyone know why it's broken? >> If anyone broke it, that was me. I tried to fix the build configurations >> but I simply don't understand what there doing. I never put them up in the >> first place. >> >> > And why is was switched to Java 17 only without warning? >> >> Because it's about time? There's a major release necessary anyway because >> so much deprecated code needs to be removed, so when if not now? >> >> Bye, Thomas >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: [email protected] >> For additional commands, e-mail: [email protected] >> >>
