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

Support Java 8 optionals in queries #14827

Closed
wants to merge 4 commits into from

Conversation

@taburet
Copy link
Contributor

taburet commented Apr 3, 2019

Fixes: #13300

Fixes: #13300
@mmedenjak mmedenjak added this to the 4.0 milestone Apr 17, 2019
@mmedenjak

This comment has been minimized.

Copy link
Contributor

mmedenjak commented Jun 11, 2019

@taburet is this PR superseded by #14946?

@taburet

This comment has been minimized.

Copy link
Contributor Author

taburet commented Jun 11, 2019

Yes, superseded by #14946, closing.

@taburet taburet closed this Jun 11, 2019
@taburet taburet deleted the taburet:fix/3.13/issue-13300 branch Jun 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.