Skip to content

fix(lang): Remove fsharp references#564

Merged
jmgrosen merged 1 commit intomainfrom
jessie/remove-fsharp-refs
Feb 14, 2026
Merged

fix(lang): Remove fsharp references#564
jmgrosen merged 1 commit intomainfrom
jessie/remove-fsharp-refs

Conversation

@jmgrosen
Copy link
Contributor

I accidentally added some fsharp references back in my rebase of #554. This commit removes them.

Checklist

  • Any new parsing code was already published, integrated, and merged into Semgrep. DO NOT MERGE THIS PR BEFORE THE SEMGREP INTEGRATION WORK WAS COMPLETED.
  • Change has no security implications (otherwise, ping the security team)

I accidentally added some fsharp references back in my rebase
of #554. This commit removes them.
@jmgrosen jmgrosen requested a review from a team as a code owner February 13, 2026 23:32
@jmgrosen jmgrosen requested a review from amchiclet February 13, 2026 23:32
@jmgrosen jmgrosen merged commit f52c69b into main Feb 14, 2026
32 of 47 checks passed
@jmgrosen jmgrosen deleted the jessie/remove-fsharp-refs branch February 14, 2026 00:11
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.

2 participants