Skip to content

Conversation

@rssilva
Copy link
Contributor

@rssilva rssilva commented Aug 14, 2018

Fix #11672

I was checking taking a look on commit history and it seems that a margin was changed here: 7145112#diff-8058da55e1244af44de84d849f6351dcR33

Current
screen shot 2018-08-14 at 4 05 19 pm

When putting it back we have:
screen shot 2018-08-14 at 4 03 57 pm

@engelgabriel engelgabriel added this to the 0.69.0 milestone Aug 20, 2018
@engelgabriel engelgabriel merged commit 8ca4263 into develop Aug 20, 2018
@engelgabriel engelgabriel deleted the fix/header-menu-spacement branch August 20, 2018 21:50
@sampaiodiego sampaiodiego mentioned this pull request Aug 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: ui Touches the code on client side

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants