Maintenance release to incorporate reverted changes for https://bugs.eclipse.org/bugs/show_bug.cgi?id=565796
Release Date:
Sunday, August 16, 2020
This release is part of Eclipse IDE 2020-09.
Release Type:
Service release (bug fixes only)