Subject: RE: [External] : Re: bug#30491: 26.0; (elisp) `Profiling'

From: Drew Adams <[email-masked]>
Date: Sat, 23 Oct 2021 19:06:48 +0000

It's OK with me that the bug be closed.  If someone's
interested in improving the UI then the discussion in
the bug thread might help.  If no one's interested,
so be it.