Skip to content

Merge master to features/module-initializers#45604

Merged
10 commits merged intofeatures/module-initializersfrom
merges/master-to-features/module-initializers
Jul 2, 2020
Merged

Merge master to features/module-initializers#45604
10 commits merged intofeatures/module-initializersfrom
merges/master-to-features/module-initializers

Conversation

@dotnet-bot
Copy link
Collaborator

This is an automatically generated pull request from master into features/module-initializers.

git fetch --all
git checkout merges/master-to-features/module-initializers
git reset --hard upstream/features/module-initializers
git merge upstream/master
# Fix merge conflicts
git commit
git push upstream merges/master-to-features/module-initializers --force

Once all conflicts are resolved and all the tests pass, you are free to merge the pull request.

jnm2 and others added 9 commits June 29, 2020 22:57
…r_colon

Show format string completion options when the formatting component colon is typed
…ecords with the latest design. (#45518)

Related to #45296.

From specification:
The record type includes a synthesized override of object.GetHashCode(). The method can be declared explicitly. It is an error if the explicit declaration is sealed unless the record type is sealed.
…624.3 (#45515)

Microsoft.Net.Compilers.Toolset
 From Version 3.7.0-4.20319.6 -> To Version 3.7.0-4.20324.3

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Fix tests broken by two PRs "crossing".
@dotnet-bot dotnet-bot requested review from a team as code owners July 2, 2020 00:03
@dotnet-bot dotnet-bot added Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch. labels Jul 2, 2020
Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Auto-approval

@ghost ghost merged commit e35d0dc into features/module-initializers Jul 2, 2020
@ghost ghost deleted the merges/master-to-features/module-initializers branch July 2, 2020 19:36
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants