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

Issue #5436 #5437

Closed
wants to merge 1 commit into from
Closed

Issue #5436 #5437

wants to merge 1 commit into from

Conversation

pizzi80
Copy link
Contributor

@pizzi80 pizzi80 commented Apr 10, 2024

Issue #5436

Signed-off-by: pizzi80 <paolo@given2.com>
@BalusC
Copy link
Contributor

BalusC commented Apr 10, 2024

Please note that this is the master branch (5.0). Original problem was in 4.0 branch and already fixed over there: #5430

@BalusC BalusC closed this Apr 10, 2024
@pizzi80
Copy link
Contributor Author

pizzi80 commented Apr 10, 2024

Please note that this is the master branch (5.0).

fixed

Original problem was in 4.0 branch and already fixed over there: #5430

I'm not sure it's fixed because Optional.empty().get() throw an exception

@pizzi80
Copy link
Contributor Author

pizzi80 commented Apr 10, 2024

@BalusC you're right: PR 5430 fix the issue

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.

2 participants