Skip to content

Conversation

github-actions[bot]
Copy link

Backport dd39579 from #3087.

realpath -s is a GNU extension, but we don't need to care about symlinks here. (cherry picked from commit dd39579)
@pquentin pquentin closed this Oct 13, 2025
@pquentin pquentin reopened this Oct 13, 2025
@pquentin pquentin merged commit 0a67529 into 9.2 Oct 13, 2025
17 checks passed
@pquentin pquentin deleted the backport-3087-to-9.2 branch October 13, 2025 10:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant