Changes

#224 (Nov 5, 2023, 9:04:10 AM)

1. [releng] Update to Tycho 4.0.3 — Pierre-Charles David / githubweb
2. [releng] Add target platform for 2023-12 — Pierre-Charles David / githubweb

#223 (Nov 5, 2023, 8:54:10 AM)

1. [releng] Use fixed URLs for 2023-09 target platform — Pierre-Charles David / githubweb

#222 (Aug 24, 2023, 2:54:07 AM)

1. [releng] Fix 2023-06 and add 2023-09 target platforms — Pierre-Charles David / githubweb

#221 (Aug 4, 2023, 8:54:10 AM)

1. [doc] Add missing URL for version 1.13.3 — GitHub / githubweb

#219 (Apr 29, 2023, 8:54:07 AM)

1. [releng] Launch tests in the GitHub Actions workflow — Pierre-Charles David / githubweb

#217 (Apr 22, 2023, 5:42:37 AM)

1. Revert "[cleanup] Update usage of deprecated preferences API" — Pierre-Charles David / githubweb

#216 (Apr 22, 2023, 5:40:36 AM)

1. [releng] Bump version number of modified bundles — Pierre-Charles David / githubweb