Skip to content

Zenodo 2019-07-16 14:30

Huste, Tobias requested to merge zenodo-2019-07-16-1430 into master
  • config: use fuzzy matching for license completion
  • records-ui: fix version box table columns
  • github: fix communities getting removed from github records

Merge request reports