On Fri, May 20, 2022 at 04:04:29PM -0700, Nathan Bossart wrote: > I think there is a typo in the change to the jit_optimization_time section, > but otherwise it looks good to me.
Yes, as of "double precisiodouble precision". All these four fields are indeed doubles in the code, for what looks like a copy-pasto from 57d6aea. Will fix. -- Michael
signature.asc
Description: PGP signature
