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

Minor fix in error message. #934

Merged

nicolasfranck merged 1 commit into dev from pr/error_message_correction

Apr 6, 2021

Member

petrakohorst commented Dec 1, 2020

Just a correction of an error message.


          Minor fix in error message.

f73e481

coveralls commented Dec 1, 2020

Coverage remained the same at 81.384% when pulling f73e481 on pr/error_message_correction into f39acd2 on dev.

nicolasfranck merged commit 4210f85 into dev

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