owncloud/core — pull request #8236 by jancborchardt (2014-04-16 13:59:13+00:00)
Title: remove duplication of 'header-right' element, also make it overflow when too wide

Please review @owncloud/designers @DeepDiver1975