[edt-dev] closing fixed defects

[Matthew Heitz <mheitz@xxxxxxxxxx>]

Hi folks,

  There are probably three dozen
bugs which are resolved but not closed.  Here's a query showing everything
that's not closed:

https://bugs.eclipse.org/bugs/buglist.cgi?query_format=advanced;bug_status=UNCONFIRMED;bug_status=NEW;bug_status=ASSIGNED;bug_status=REOPENED;bug_status=RESOLVED;bug_status=VERIFIED;product=EDT

  Resolved bugs have "RESO"
in the Status column.  If you opened one of them, please confirm the
fix and either close or reopen the bug.  Also, four resolved bugs
have TargetMilestone=Future.  Please update them with the correct
milestone.

  Thanks,
  Matt