Skip to content

Fix pool error banner#619

Merged
timotheeguerin merged 5 commits into
masterfrom
fix/pool-error-banner
Aug 17, 2017
Merged

Fix pool error banner#619
timotheeguerin merged 5 commits into
masterfrom
fix/pool-error-banner

Conversation

@timotheeguerin
Copy link
Copy Markdown
Member

@timotheeguerin timotheeguerin commented Aug 16, 2017

fix #618

@timotheeguerin timotheeguerin merged commit 68e1f2b into master Aug 17, 2017
@timotheeguerin timotheeguerin deleted the fix/pool-error-banner branch August 17, 2017 15:11
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.

Detailed information should be shown if an error occurs during allocation

2 participants