Commit 559d40e0 authored Dec 21, 2022 by Jan Kiene

Merge branch '257-release-build-broken-on-windows-with-support_jbm_tracefile' into 'main'

Resolve "RELEASE build broken on windows with SUPPORT_JBM_TRACEFILE"

See merge request !358