Skip to content

Rename extension so users can tell ours apart - #92

Merged
kzu merged 1 commit into
mainfrom
dev/ExplicitExtensions
Aug 6, 2025
Merged

Rename extension so users can tell ours apart#92
kzu merged 1 commit into
mainfrom
dev/ExplicitExtensions

Conversation

@kzu

@kzukzu commented Aug 6, 2025

Copy link
Copy Markdown
Member

No description provided.

@kzu
kzu enabled auto-merge (rebase) August 6, 2025 05:35
@kzu

kzu commented Aug 6, 2025

Copy link
Copy Markdown
MemberAuthor

1 passed1 passed14 skipped

🧪 Details on Ubuntu 24.04.2 LTS

from dotnet-retest v0.7.2 on .NET 9.0.8 with 💜 by @devlooped

@kzu
kzu merged commit d7c5021 into mainAug 6, 2025
7 checks passed
@kzu
kzu deleted the dev/ExplicitExtensions branch August 6, 2025 05:36
@devloopeddevlooped locked and limited conversation to collaborators Sep 6, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@kzu