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: 7.5 is old #42

Merged

sebastianbergmann merged 1 commit into sebastianbergmann:master from localheinz:fix/old

Apr 27, 2019

Contributor

localheinz commented Apr 26, 2019

This PR

fixes a headline


          Fix: 7.5 is old

06a8f94

sebastianbergmann merged commit b1f88dc into sebastianbergmann:master

localheinz deleted the fix/old branch

April 27, 2019 07:17

Contributor Author

localheinz commented Apr 27, 2019

Thank you, @sebastianbergmann!

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

Labels

None yet