Skip to content

Conversation

@elimisteve
Copy link
Contributor

Typo fix

@ilyash-b ilyash-b changed the base branch from master to dev August 20, 2018 05:40
@ilyash-b ilyash-b changed the base branch from dev to master August 20, 2018 05:41
@ilyash-b ilyash-b merged commit 852e493 into ngs-lang:master Aug 20, 2018
@ilyash-b
Copy link
Contributor

Thanks!

@ilyash-b
Copy link
Contributor

cherry-picked into dev, that's where pull requests should be made in future

@elimisteve
Copy link
Contributor Author

elimisteve commented Aug 20, 2018 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants