John Peacock wrote: > As promised, here is the patch to integrate version-0.37 into the core. > Requires 'make regen_headers' of course... Thanks, applied as #22668.