GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
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
No description provided.
Merge pull request #311 from dotse/develop
Merge 2.0.0 to master
Fixes #287 - returns immediately if no nomain provided
So what is required for approving the PR? An update to the API documentation?
@mattias-p, I think we should see this update as a "bug" because the API dcumentation should state that domain must not be empty. I think that a comment with code plus an issue that this should be corrected as soon as the current GUI is phased out.
Added a comment in the code
An issue #333 has been created to remove the work-around.
@mtoma merging, since we have consensus