Skip to content

Formating is done by server, not by client#316

Merged
dbaeumer merged 1 commit intomicrosoft:masterfrom
reznikmm:master
Nov 16, 2017
Merged

Formating is done by server, not by client#316
dbaeumer merged 1 commit intomicrosoft:masterfrom
reznikmm:master

Conversation

@reznikmm
Copy link
Contributor

so this is obviously a typo.

so this is obviously a typo.
@dbaeumer
Copy link
Member

Agree :-)

@dbaeumer dbaeumer merged commit 023b974 into microsoft:master Nov 16, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants