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

Add missing contracts found when aligning CC with R##470

Merged
SergeyTeplyakov merged 1 commit intomicrosoft:masterfrom
tom-englert:SyncR#
Dec 12, 2016
Merged

Add missing contracts found when aligning CC with R##470
SergeyTeplyakov merged 1 commit intomicrosoft:masterfrom
tom-englert:SyncR#

Conversation

@tom-englert
Copy link
Contributor

When aligning CC with R# External Annotations (https://github.com/JetBrains/ExternalAnnotations), I have identified and added these missing contracts.

@SergeyTeplyakov
Copy link
Contributor

Thanks. Looks good.

@SergeyTeplyakov SergeyTeplyakov merged commit 84bbcb1 into microsoft:master Dec 12, 2016
@tom-englert tom-englert deleted the SyncR# branch July 12, 2017 10:19
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