Skip to content

Conversation

@donhuvy
Copy link
Contributor

@donhuvy donhuvy commented Aug 19, 2018

No description provided.

@rwinch rwinch changed the title Polish Polish Reference Documentation Aug 19, 2018
@rwinch rwinch self-assigned this Aug 19, 2018
@rwinch rwinch closed this in 7f04d8d Aug 19, 2018
@rwinch rwinch added in: docs An issue in Documentation or samples type: enhancement A general enhancement labels Aug 19, 2018
@rwinch rwinch added this to the 5.1.0.RC1 milestone Aug 19, 2018
@rwinch
Copy link
Member

rwinch commented Aug 19, 2018

Thanks for the PR @donhuvy! This is now merged into master via 7f04d8d

@rwinch rwinch mentioned this pull request Aug 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in: docs An issue in Documentation or samples type: enhancement A general enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants