Skip to content

Develop#999

Merged
janvanrijn merged 32 commits intomasterfrom
develop
Sep 29, 2019
Merged

Develop#999
janvanrijn merged 32 commits intomasterfrom
develop

Conversation

@joaquinvanschoren
Copy link
Contributor

  • ES bugfixes
  • Frontend fixes
  • Better error messages
  • New API for returning user names
  • Return uploader id in evaluation list
  • Documentation updates

@joaquinvanschoren
Copy link
Contributor Author

I added the RDF fix (#998) as well

@janvanrijn janvanrijn merged commit 1120db0 into master Sep 29, 2019
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.

4 participants