Re: MPS: profiler

[Ihor Radchenko]

Eli Zaretskii <eliz@gnu.org> writes:

>> I am on Linux:
>
> Yes, I know.  Otherwise, why would I write about the above nit?

Sure. But you prompted me to provide a bit more info about the
build. Maybe you already saw my settings in other discussions, but not
other people in this thread :)

-- 
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>