Duly swung! Pushed as r16-3589. Thanks
Paul On Thu, 4 Sept 2025 at 17:21, Jerry D <jvdelis...@gmail.com> wrote: > On 9/4/25 6:22 AM, Paul Richard Thomas wrote: > > Hi All, > > > > Although PR87362 is marked as fixed, the error becomes rather more > explicit with > > this patch, which I actually developed for PR102457. > > > > Regtests on FC42/x86_64 - OK for mainline > > > > Paul > > > > Yes, OK > > Swing Away. > > Jerry >
