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

Only log "No to!" when debugging #312

Merged
merged 1 commit into from May 29, 2020
Merged

Only log "No to!" when debugging #312

merged 1 commit into from May 29, 2020

Conversation

@thebaer
Copy link
Member

thebaer commented May 15, 2020

This fixes #311

@thebaer thebaer added this to the 0.13 milestone May 15, 2020
@thebaer thebaer mentioned this pull request May 15, 2020
@thebaer
Copy link
Member Author

thebaer commented May 29, 2020

Merging now.

@thebaer thebaer merged commit 5c94d23 into develop May 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

1 participant
You can’t perform that action at this time.