Skip to content

Fixed typo #8287

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Fixed typo #8287

wants to merge 1 commit into from

Conversation

nicoschoenmaker
Copy link
Contributor

concreate -> concrete.

@xabbuh
Copy link
Member

xabbuh commented Aug 28, 2017

Thank you @nicoschoenmaker.

xabbuh added a commit that referenced this pull request Aug 28, 2017
This PR was submitted for the master branch but it was merged into the 3.3 branch instead (closes #8287).

Discussion
----------

Fixed typo

concreate -> concrete.

Commits
-------

c6311c0 Fixed typo
@xabbuh xabbuh closed this Aug 28, 2017
@nicoschoenmaker nicoschoenmaker deleted the patch-1 branch October 2, 2017 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants