Skip to content

adjust to new CONSOLE#1

Closed
hannesm wants to merge 2 commits intodevfrom
err
Closed

adjust to new CONSOLE#1
hannesm wants to merge 2 commits intodevfrom
err

Conversation

@hannesm
Copy link
Copy Markdown
Owner

@hannesm hannesm commented Nov 12, 2016

No description provided.

@hannesm hannesm mentioned this pull request Nov 12, 2016
5 tasks
@hannesm
Copy link
Copy Markdown
Owner Author

hannesm commented Nov 12, 2016

Travis failure is expected, see mirage/mirage#667

@yomimono
Copy link
Copy Markdown

I've merged the other PRs linked from #667 (as well as that PR itself) but I don't have a nice green button here, so you'll have to do this last bit :)

@hannesm
Copy link
Copy Markdown
Owner Author

hannesm commented Nov 14, 2016

thx, done (by force-pushing to dev)

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.

2 participants