Hi, > On 4 Oct 2024, at 16:08, Chris Hegarty <[email protected]> wrote: > >> ... > > I just re-checked, and branch_9x has nothing in it that is not already in > branch_9_12. > > I’ll delete branch_9x tomorrow, if there are not objections.
Deleted. -Chris. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
