Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

error messages #324

Closed
wants to merge 5 commits into from
Closed

error messages #324

wants to merge 5 commits into from

Conversation

sharpeCJ
Copy link
Contributor

@sharpeCJ sharpeCJ commented Aug 5, 2016

No description provided.

Chris Sharpe added 5 commits August 5, 2016 15:36
Signed-off-by: Chris Sharpe <chris.sharpe@diamond.ac.uk>
and the possibility that a device is not switched

Signed-off-by: Chris Sharpe <chris.sharpe@diamond.ac.uk>
Signed-off-by: Chris Sharpe <chris.sharpe@diamond.ac.uk>
@PeterC-DLS
Copy link
Contributor

You can close this as I have committed them as #326 and #327

@gerring
Copy link
Contributor

gerring commented Aug 9, 2016

Leave open for now so we can figure out the bug in ip-validation... (if any)

@gerring gerring closed this Aug 19, 2016
@gerring
Copy link
Contributor

gerring commented Aug 19, 2016

Thanks Peter

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