Hi Jerry, Your OK came just before I pushed. Thanks!
Pushed as r16-8052. Paul On Thu, 12 Mar 2026 at 16:39, Jerry D <[email protected]> wrote: > > On 3/12/26 3:51 AM, Paul Richard Thomas wrote: > > Hi All, > > > > This patch is sufficiently straightforward and 'obvious' that I intend > > to push later today, unless somebody objects. > > > > Regtests on FC43/x86_64. OK for mainline. > > > > Paul > > OK if you have not done so already. > > Jerry
