Skip to content

removing an unnecessary branch#2530

Merged
lemire merged 2 commits intomasterfrom
removing_branch
Oct 27, 2025
Merged

removing an unnecessary branch#2530
lemire merged 2 commits intomasterfrom
removing_branch

Conversation

@lemire
Copy link
Member

@lemire lemire commented Oct 25, 2025

No description provided.

@lemire lemire merged commit 781a7d6 into master Oct 27, 2025
156 checks passed
@lemire lemire deleted the removing_branch branch October 27, 2025 18:19
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.

1 participant