On Thu, 28 Sept 2023, 21:38 Tom Tromey, <tro...@adacore.com> wrote: > Jonathan> I've pushed the changes I wanted to make, so you'll have to > rebase > Jonathan> your patches now, sorry. > > No problem. I rebased & re-tested them. > I can send a v2 if you want to double-check (only this large patch > required any changes), or just go ahead. Let me know. >
Just go ahead, the changes are all straightforward so if the tests still pass, you can push it. I may not be able to push until Monday. > > Tom >
