Skip to content

JS: remove dupe of h$rts_isProfiled (fixes #24578)

Serge S. Gulin requested to merge gulin.serge/ghc:wip/T24578 into master

The change just removes h$rts_isProfiled from rts/profiling.js because it is defined at rts/config.js.

Edited by Serge S. Gulin

Merge request reports