Fixed the sync

Signed-off-by: Martin Weise martin.weise@tuwien.ac.at

assigned to @mweise

enabled an automatic merge when the pipeline for c59909c9 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• e5becb55 - Fixed the version

Compare with previous version

enabled an automatic merge when the pipeline for e5becb55 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 1e878add - New attempt

Compare with previous version

added 1 commit

• 296373f2 - WIP

Compare with previous version

mentioned in commit 616e4a7b

merged