Hi, On Sat, Apr 09, 2022 at 01:51:21AM +0000, Shinoda, Noriyoshi (PN Japan FSIP) wrote: > Hi, > thank you for the great features. > > The attached small patch changes the data type in the document. > The following columns are actually double precision but bigint in the docs. > jit_generation_time > jit_inlining_time > jit_optimization_time > jit_emission_count
Indeed! The patch looks good to me, I didn't find any other discrepancy.
