Skip to content

Conversation

@Paxxi
Copy link
Contributor

@Paxxi Paxxi commented Jul 15, 2018

Summary

Describe your changes here.
Change to html escaped syntax to avoid having it removed during build.

Fixes #Issue_Number (if available)

@rpetrusha rpetrusha added the ✨ 1st-time docs contributor! Indicates PRs from new contributors to the docs repository label Jul 16, 2018
@rpetrusha rpetrusha self-assigned this Jul 16, 2018
Copy link
Contributor

@rpetrusha rpetrusha left a comment

Choose a reason for hiding this comment

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

Thanks, @Paxxi, for contributing to the dotnet/docs repo and fixing the header. We'll merge your PR now. Your change should appear live on docs.microsoft.com in the next day or two.

@rpetrusha rpetrusha merged commit 8234c21 into dotnet:master Jul 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

✨ 1st-time docs contributor! Indicates PRs from new contributors to the docs repository

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants