Skip to content

fix: do not add duplicated rpath entries#1338

Merged
mati865 merged 1 commit into
wild-linker:mainfrom
mati865:push-pnukxtrlunnr
Nov 24, 2025
Merged

fix: do not add duplicated rpath entries#1338
mati865 merged 1 commit into
wild-linker:mainfrom
mati865:push-pnukxtrlunnr

Conversation

@mati865

@mati865 mati865 commented Nov 24, 2025

Copy link
Copy Markdown
Member

No description provided.

@mati865

mati865 commented Nov 24, 2025

Copy link
Copy Markdown
Member Author

I'm not sure whether fix is the proper label here. I think the duplicates shouldn't have caused problems.

@davidlattimore

Copy link
Copy Markdown
Member

I don't have any strong thoughts on the label. fix seems a reasonable choice

@mati865 mati865 merged commit 14f6aa7 into wild-linker:main Nov 24, 2025
20 checks passed
@mati865 mati865 deleted the push-pnukxtrlunnr branch November 24, 2025 21:18
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