Update the PGO file

Open toastwaffle opened this issue 2 months ago • 0 comments

Generated using Please 17.21.0 with plz test --profile_file=default.pgo //... after a plz clean -f and plz update

I'm a little concerned that the file is now 23% of the size it was before; I don't know how @peterebden generated it previously, but given it's a year old I figure it's worth regenerating.

Oct 10 '25 15:10 toastwaffle