Merge branch '111-transfer-of-a-bug-fix-from-a-previous-osmosis-development-branch' into 'main'

Simon Mueller requested to merge cherry-pick-05678c0d into main

Merge branch '111-transfer-of-a-bug-fix-from-a-previous-osmosis-development-branch' into 'branch_4.2'

Resolve "Transfer of a bug fix from a previous OSMOSIS development branch"

See merge request !172 (merged)

(cherry picked from commit 05678c0d)

b8c86a0d Application of an OSMOSIS bug fix previously lagging behind (see issue #111 (closed))

Edited by Simon Mueller

Merge request reports