Skip to content

Conversation

@MorrisJobke
Copy link
Member

@oparoz
Copy link
Member

oparoz commented Jul 27, 2016

👍

@MorrisJobke MorrisJobke merged commit 2e2ed36 into master Jul 27, 2016
@MorrisJobke MorrisJobke deleted the adjust-header branch July 27, 2016 11:56
@MorrisJobke
Copy link
Member Author

stable10 e4cea4b
stable9 1f9aac5

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Header is missing some menu entries

3 participants