Skip to content

feat: Implement --retain-symbols-file#1262

Merged
davidlattimore merged 1 commit into
mainfrom
push-rvpvvvymwsmm
Nov 3, 2025
Merged

feat: Implement --retain-symbols-file#1262
davidlattimore merged 1 commit into
mainfrom
push-rvpvvvymwsmm

Conversation

@davidlattimore

Copy link
Copy Markdown
Member

Fixes #1260

@davidlattimore davidlattimore merged commit fac523c into main Nov 3, 2025
20 checks passed
@davidlattimore davidlattimore deleted the push-rvpvvvymwsmm branch November 3, 2025 00:24
@marxin

marxin commented Nov 3, 2025

Copy link
Copy Markdown
Collaborator

Crazy how you implemented the feature quickly!

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.

wild: error: unrecognized option(s): -retain-symbols-file

2 participants