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

rollback Java 7 breaking change #53

Closed
wants to merge 1 commit into from
Closed

rollback Java 7 breaking change #53

wants to merge 1 commit into from

Conversation

elharo
Copy link
Contributor

@elharo elharo commented Jan 7, 2021

@bertysentry
Copy link
Contributor

Personally, I'm in favor of simply adding a commit that fixes the problem rather than reverting and then recommitting the same code plus the fix. But that's a git philosophy question, so I'll let you guys decide ;-)

@elharo
Copy link
Contributor Author

elharo commented Jan 7, 2021

That's a moot point until such a fix exists.

@bertysentry
Copy link
Contributor

I have it. I'll submit my PR in a moment.

@michael-o
Copy link
Member

Yepp, I need also a day or two to digest.

@bertysentry
Copy link
Contributor

No problem. Remember we also have this PR that restores the Java 7 compatibility. Thanks!

@elharo elharo closed this Jan 8, 2021
@elharo elharo deleted the rollback branch January 8, 2021 12:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants