0.8.3.5
This is a bugfix release with the following pull requests having been merged:
- Merge pull request #1538 from ontohub/1537-remove_puma_from_eye_config
- Merge pull request #1663 from ontohub/1653-content_tab_is_not_active
- Merge pull request #1649 from ontohub/1509-switch_proofstatus_from_loc_id_to_slug
- Merge pull request #1659 from ontohub/1654-update_ruby
- Merge pull request #1657 from ontohub/1656-limit_error_display_height
- Merge pull request #1641 from ontohub/964-search_results_should_respect_authorization
- Merge pull request #1652 from ontohub/1631-hets_is_not_found_when_using_hets-server
- Merge pull request #1636 from ontohub/1635-display_sentence_not_only_its_name
- Merge pull request #1638 from ontohub/1637-display_information_about_mappings_in_the_graphs_view