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.

Sign up for GitHub

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

Jump to bottom

Fix default config creation #258

Merged

alichtman merged 1 commit into master from fix_default_config_creation

Mar 29, 2020

Owner

alichtman commented Mar 29, 2020 •

edited

Loading

Partial fix for #257


          Fix default config creation

3ed7b7b

Owner Author

alichtman commented Mar 29, 2020

This case should be explicitly tested for but I have other things to work on at the moment.

alichtman merged commit 0338233 into master

alichtman deleted the fix_default_config_creation branch

March 29, 2020 02:16

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet