fix Eclipse p2 repository (2023-12 has not yet been released)
How to test manually
No specific test procedure
Automatic testing
[ ] PR adds/updates unit tests
Documentation
[ ] PR adds/updates documentation
Organizational
[ ] PR includes new dependencies.
Only dependencies under approved licenses are allowed. LICENSE and NOTICE files in the respective modules where dependencies have been added as well as in the project root have been updated.
What's in the PR
How to test manually
Automatic testing
Documentation
Organizational