Skip to content

Conversation

@BenjaminBako
Copy link

I did it wrong and a made a branch and pull request not on our fork.
Here is the link from older pull request: protegeproject#3
We refactored my bug fixes with csnyulas yesterday. Do you think could we merge this to our fork?

@reischlb
Copy link

I think, according to the older pull request we can merge it.
The changes seems OK.

@reischlb reischlb merged commit aa12423 into master Apr 19, 2017
@BenjaminBako
Copy link
Author

OK! Thanks

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants