Changes

#407 (Nov 8, 2023, 8:45:54 AM)

1. Bug 582391 - [Designer, Monitoring] Preferences for SM monitoring are duplicated — Ansgar Radermacher / detail

#406 (Oct 3, 2023, 8:47:32 AM)

1. [releng] switch to tycho 4.0.3 — Ansgar Radermacher / detail

#405 (Aug 14, 2023, 3:10:39 AM)

1. [releng] Switch to JRE 17 in targetplatform — Ansgar Radermacher / detail