Skip to content
This repository was archived by the owner on Jan 23, 2023. It is now read-only.

Nullable: Streams#23703

Merged
stephentoub merged 1 commit intodotnet:NullableFeaturefrom
stephentoub:nullablestreams
Apr 4, 2019
Merged

Nullable: Streams#23703
stephentoub merged 1 commit intodotnet:NullableFeaturefrom
stephentoub:nullablestreams

Conversation

@stephentoub
Copy link
Copy Markdown
Member

No description provided.

@stephentoub stephentoub requested a review from a team April 3, 2019 21:53
Comment thread src/System.Private.CoreLib/shared/System/IO/FileStream.cs
Comment thread src/System.Private.CoreLib/shared/System/IO/MemoryStream.cs
Comment thread src/System.Private.CoreLib/shared/System/IO/Stream.cs
@stephentoub stephentoub merged commit 33872aa into dotnet:NullableFeature Apr 4, 2019
@stephentoub stephentoub deleted the nullablestreams branch April 4, 2019 02:33
Dotnet-GitSync-Bot pushed a commit to Dotnet-GitSync-Bot/corefx that referenced this pull request Apr 5, 2019
Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>
stephentoub added a commit to dotnet/corefx that referenced this pull request Apr 6, 2019
Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>
Dotnet-GitSync-Bot pushed a commit to Dotnet-GitSync-Bot/corert that referenced this pull request Apr 9, 2019
Signed-off-by: dotnet-bot <anirudhagnihotry098@gmail.com>
Dotnet-GitSync-Bot pushed a commit to Dotnet-GitSync-Bot/corert that referenced this pull request Apr 9, 2019
Signed-off-by: dotnet-bot <anirudhagnihotry098@gmail.com>
Dotnet-GitSync-Bot pushed a commit to Dotnet-GitSync-Bot/mono that referenced this pull request Apr 9, 2019
Signed-off-by: dotnet-bot <anirudhagnihotry098@gmail.com>
Anipik pushed a commit to Dotnet-GitSync-Bot/corert that referenced this pull request Apr 9, 2019
Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>
jkotas pushed a commit to dotnet/corert that referenced this pull request Apr 10, 2019
Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>
picenka21 pushed a commit to picenka21/runtime that referenced this pull request Feb 18, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants