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

Improve console output #369

Merged

thomas-riccardi merged 1 commit into master from dev-improve_console_output

Apr 15, 2019

Contributor

thomas-riccardi commented Apr 12, 2019 •

edited

Loading

Followup on #367


          Improve console output

d7b97dc

thomas-riccardi requested a review from vdel

April 12, 2019 14:09

thomas-riccardi added the lifecycle/READY label

vdel approved these changes

View reviewed changes

Contributor

vdel commented Apr 15, 2019

LGTM

thomas-riccardi merged commit 04a241a into master

thomas-riccardi deleted the dev-improve_console_output branch

April 15, 2019 18:18

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

Labels

lifecycle/READY