Closed eclipse-kura-bot closed 1 month ago
Backport 460357cc92abddabccee41d23b2e34eb3bb90cd9 from #5411.
Merging anyway since this PR shouldn't affect the build and the failure of the CI is unrelated to the changes.
Backport 460357cc92abddabccee41d23b2e34eb3bb90cd9 from #5411.