Thanks for the feedback so far Jochen. If there is no further feedback, I'll merge those two PRs and kick off the releases tomorrow. I'll probably also fold in GROOVY-12203 if no issues are found.
Cheers, Paul. On Sun, Jul 26, 2026 at 9:10 PM Paul King <[email protected]> wrote: > > Hi folks, > > I was going to kick off some more releases 4.0.33, 5.0.8 and > 6.0.0-beta-1 in a couple of days. Time to give feedback if you spot > any problems with what is there now or see stuff that should be > included that currently isn't. > > In particular, any feedback on GROOVY-12191/PR#2736 and > GROOVY-12115/PR#2645 will be greatly appreciated. My inclination is to > merge both before preparing the release candidates. I'll send a > separate email on the GROOVY-12115/PR#2645 ("poor man's type > reification") one shortly. > > Cheers, Paul.
