Subject: Re: bug#72559: 31.0.50; profiler-report-write-profile produced unreadable data

From: Stefan Monnier <[email-masked]>
Date: Wed, 14 Aug 2024 08:21:07 -0400

> I think the problem is that we now dump the buttons into the saved
> profile.  We also write symbols as strings.  Two examples:

Yup, I introduced the bug in commit a1f8702e8345.
I think the patch below is in order (it partly undoes commit
a1f8702e8345).

Can someone confirm that it fixes the problem for them as well?

        Stefan