Skip to content

Add ReadOnlySet<T> - #103306

Merged
stephentoub merged 3 commits into
dotnet:mainfrom
stephentoub:readonlyset
Jun 12, 2024
Merged

Add ReadOnlySet<T>#103306
stephentoub merged 3 commits into
dotnet:mainfrom
stephentoub:readonlyset

Conversation

@stephentoub

@stephentoub stephentoub commented Jun 11, 2024

Copy link
Copy Markdown
Member

Closes #100113
@ghost

ghost commented Jun 11, 2024

Copy link
Copy Markdown

Note regarding the new-api-needs-documentation label:

This serves as a reminder for when your PR is modifying a ref *.cs file and adding/modifying public APIs, please make sure the API implementation in the src *.cs file is documented with triple slash comments, so the PR reviewers can sign off that change.
1 similar comment
@ghost

ghost commented Jun 11, 2024

Copy link
Copy Markdown

Note regarding the new-api-needs-documentation label:

This serves as a reminder for when your PR is modifying a ref *.cs file and adding/modifying public APIs, please make sure the API implementation in the src *.cs file is documented with triple slash comments, so the PR reviewers can sign off that change.
@dotnet-policy-service

dotnet-policy-service Bot commented Jun 11, 2024

Copy link
Copy Markdown
Contributor

Tagging subscribers to this area: @dotnet/area-system-collections
See info in area-owners.md if you want to be subscribed.
This was referenced Jun 12, 2024
Closed
Closed
Open
Closed
Closed
@stephentoub stephentoub mentioned this pull request Jun 12, 2024
Closed
@build-analysis build-analysis Bot mentioned this pull request Jun 12, 2024
Closed
@stephentoub
stephentoub merged commit 3916efe into dotnet:main Jun 12, 2024
@stephentoub
stephentoub deleted the readonlyset branch June 12, 2024 16:58
@KennethHoff KennethHoff mentioned this pull request Jun 14, 2024
Closed
@CyrusNajmabadi CyrusNajmabadi mentioned this pull request Jun 15, 2024
Closed
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 13, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.