]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #12440 from nextcloud/stable14-10890
authorMorris Jobke <hey@morrisjobke.de>
Tue, 13 Nov 2018 16:14:18 +0000 (17:14 +0100)
committerGitHub <noreply@github.com>
Tue, 13 Nov 2018 16:14:18 +0000 (17:14 +0100)
[stable14] Fix app menu calculation for random size of the right header


Trivial merge