Changes

#187 (Oct 31, 2022, 9:42:09 AM)

  1. [doc] Fix releases URL in README — GitHub / githubweb

#186 (Aug 14, 2022, 2:42:08 PM)

  1. [cleanup] Remove obsolete publication script — Pierre-Charles David / githubweb
  2. [releng] Fix bug in publication script — Pierre-Charles David / githubweb

#182 (Aug 11, 2022, 2:52:09 AM)

  1. Try to make EditingDomainValidatorTest.test_createValidators_177643 more reliable — Pierre-Charles David / githubweb

#181 (Aug 10, 2022, 3:32:06 PM)

  1. [doc] Add release notes — Pierre-Charles David / githubweb
  2. [releng] Remove Oxygen target platform — Pierre-Charles David / githubweb
  3. [version] Bump version to 1.13.0 — Pierre-Charles David / githubweb
  4. [releng] Switch to Photon as default target platform — Pierre-Charles David / githubweb

#180 (Aug 10, 2022, 12:42:06 PM)

  1. [releng] Add target platform definitions for recent Eclipse versions — Pierre-Charles David / githubweb