Cherry picks: Fix trace server version and display #125

Merged

bhufmann merged 3 commits intoeclipse-tracecompass-incubator:stable-10.2from bhufmann:cherry_picks_stable

Nov 20, 2024

+6-3

Commits on Nov 20, 2024