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

Hightlight the difference in behaviour. #34

Open

pilhuhn wants to merge 1 commit into eclipse:main from pilhuhn:cosmetics

pilhuhn commented Aug 1, 2022

Make the off-by-default more obvious.

Also fix a small typo.


          Hightlight the difference in behaviour.

c999656

Fix a small typo.

Contributor

JanWesterkamp-iJUG commented Jan 17, 2023

@pilhuhn, as mentioned in the call yesterday, can you please check this is already refelcted in the right way in the spec document and readme file?

If yes, then we can close your PR - if no, please rebase it on main so we can proceed to integrate your changes. Many thanks!

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