Skip to content

Conversation

@ccaffy
Copy link
Contributor

@ccaffy ccaffy commented May 7, 2025

No description provided.

@ccaffy ccaffy requested a review from amadio May 7, 2025 14:54
@amadio amadio added this to the 5.8.2 milestone May 7, 2025
@amadio
Copy link
Member

amadio commented May 7, 2025

GitHub gave an error, it added the commit to master, but didn't close the PR...

@amadio amadio merged commit 9487895 into xrootd:master May 7, 2025
11 checks passed
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