Skip to content

Conversation

@picodoth
Copy link
Contributor

@picodoth picodoth commented Jul 16, 2018

…er to not potentially affect style in cloned menu

This is still another temporary fix, another more thorough fix will be done in #172

…er to not potentially affect style in cloned menu
@coveralls
Copy link

Coverage Status

Coverage remained the same at 99.429% when pulling 0607bf6 on basement-hotfix into f664c60 on master.

@picodoth picodoth merged commit 5fc9425 into master Jul 16, 2018
@picodoth picodoth deleted the basement-hotfix branch July 16, 2018 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants