On Sat, Aug 30, 2025 at 11:26 AM Mark Thomas <[email protected]> wrote: > > On 29/08/2025 11:26, Mark Thomas wrote: > > On 29/08/2025 10:08, Rémy Maucherat wrote: > >> On Fri, Aug 29, 2025 at 10:54 AM Mark Thomas <[email protected]> wrote: > >>> > >>> Hi all, > >>> > >>> I am currently thinking along the following lines for the September > >>> releases: > >>> > >>> - fix a couple of things I still have on my TODO list > >>> - wait for the Coverity build to be analysed, review the results and fix > >>> anything that looks worth fixing before the tag > >> > >> There was 28 ahead this morning, now it's back up to 48 ... > > > > Sigh. > > > > I wonder if builds with a more frequent submission are given a higher > > priority? I'll keep an eye on it. Hopefully it finishes some time early > > this afternoon. > > It finished late in the afternoon with 34 new defects. I'm working > through them and they are all false positives so far.
There's almost nothing new, a few JNDI that can be discarded mostly. Then stuff about wait (not sure about it). > I might tag over the weekend but early Monday is looking more likely. +1 for Monday, I'm busy this weekend ;) Rémy > > Mark > > > > > > Mark > > > > > >>> - run the tests locally > >>> - tag > >>> > >>> Hopefully, that means tagging towards the end of today but that might > >>> slip to over the weekend / Monday. > >> > >> +1 > >> > >> Rémy > >> > >>> Mark > >>> > >>> --------------------------------------------------------------------- > >>> To unsubscribe, e-mail: [email protected] > >>> For additional commands, e-mail: [email protected] > >>> > >> > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: [email protected] > >> For additional commands, e-mail: [email protected] > >> > > > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
