[stable14] Fix app menu calculation for random size of the right header#12440
Merged
MorrisJobke merged 1 commit intostable14from Nov 13, 2018
Merged
[stable14] Fix app menu calculation for random size of the right header#12440MorrisJobke merged 1 commit intostable14from
MorrisJobke merged 1 commit intostable14from
