Skip to content

(Fix) Revert Jint function source tagger#72

Merged
svenrog merged 2 commits into
masterfrom
fix/revert-jint-function-source-tagger
Jul 9, 2026
Merged

(Fix) Revert Jint function source tagger#72
svenrog merged 2 commits into
masterfrom
fix/revert-jint-function-source-tagger

Conversation

@svenrog

@svenrog svenrog commented Jul 9, 2026

Copy link
Copy Markdown
Owner

To address a specific, at the time unknown, issue the JintFunctionSourceTagger was introduced.
After learning that there was an Opt-in that did the same thing: sebastienros/jint#2562.
Doing it that way is simpler and more aligned with Jint.

@svenrog
svenrog merged commit 4fb518d into master Jul 9, 2026
1 check passed
@svenrog
svenrog deleted the fix/revert-jint-function-source-tagger branch July 9, 2026 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant