Skip to content

[INTERP] Removed dead code in 66 prefix - #3875

Merged
ptitSeb merged 1 commit into
ptitSeb:mainfrom
ksco:interp-remove-deadcode
May 20, 2026
Merged

[INTERP] Removed dead code in 66 prefix#3875
ptitSeb merged 1 commit into
ptitSeb:mainfrom
ksco:interp-remove-deadcode

Conversation

@ksco

@ksco ksco commented May 20, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@ptitSeb
ptitSeb merged commit 036978b into ptitSeb:main May 20, 2026
28 checks passed
@ksco
ksco deleted the interp-remove-deadcode branch May 28, 2026 01: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