Skip to content

#821 Upgrade to Eclipse 2024-09

Dennis Hendriks requested to merge 821-upgrade-to-eclipse-2024-09 into develop
  • Best to review per commit.
  • I followed our upgrade instructions. No changes needed for Java formatter, Java warnings/errors, etc. Two warnings for unnecessary casts fixed. Nothing surprising, I think.
  • After merging this, all developers should upgrade their development environment, or set up a new one.
  • This should fix #1016 (closed) for developers and end-users.

Closes #821 (closed)

Edited by Dennis Hendriks

Merge request reports

Loading