Skip to content
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

Fix dbpedia main #22

Closed
wants to merge 3 commits into from
Closed

Conversation

mspandit
Copy link

@mspandit mspandit commented Apr 7, 2015

No description provided.

@rafacarrascosa
Copy link
Member

Github cannot merge, perhaps if you pull (or better rebase) the latest version of develop it would work

@mspandit
Copy link
Author

mspandit commented Apr 8, 2015

Looks like the fix was already on the develop branch when I made my changes, and develop was merged with master after I made my changes.

@mspandit mspandit closed this Apr 8, 2015
@rafacarrascosa
Copy link
Member

Sorry, I was not aware of this

@mspandit
Copy link
Author

mspandit commented Apr 8, 2015

No problem at all. :-)

@mspandit mspandit deleted the fix-dbpedia-main branch April 8, 2015 13:42
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.

None yet

3 participants