Skip to content

Conversation

@Dorozhko-Anton
Copy link
Contributor

delete extra ';'

delete extra ';'
@javiereguiluz
Copy link
Member

👍 I totally forgot to fix this error in #5794. By the way, this change must be merged in 2.3 branch. But don't worry, there is no need to create a new pull request with the right branch. Our doc managers will change the branch while merging the changes.

@OskarStark
Copy link
Contributor

👍

@wouterj
Copy link
Member

wouterj commented Oct 16, 2015

👍

@wouterj
Copy link
Member

wouterj commented Oct 17, 2015

Thanks @Dorozhko-Anton! I've merged your fix into the 2.3 version of the docs and will merge it in the newer versions from there.

wouterj added a commit that referenced this pull request Oct 17, 2015
This PR was submitted for the 2.7 branch but it was merged into the 2.3 branch instead (closes #5795).

Discussion
----------

Fix typo in UserType class

delete extra ';'

Commits
-------

ede42da Fix typo in UserType class
@wouterj wouterj closed this Oct 17, 2015
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