Closed fommil closed 4 years ago
it looks like https://github.com/rejeep/ert-runner.el/pull/55 accidentally enabled profiling by default, when it should be enabled only when --profile is used.
--profile
yes please! :D
it looks like https://github.com/rejeep/ert-runner.el/pull/55 accidentally enabled profiling by default, when it should be enabled only when
--profile
is used.