Fixed the bug

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

Closes #532

added Bug priority::3 labels

enabled an automatic merge when all merge checks for 99d3a8e6 pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• d1c5abe2 - WIP

Compare with previous version

added 1 commit

• 5d83c879 - Updated the tests

Compare with previous version

enabled an automatic merge when all merge checks for 5d83c879 pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• 4ac3a754 - WIP

Compare with previous version

enabled an automatic merge when all merge checks for 4ac3a754 pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• c45f2927 - WIP

Compare with previous version

mentioned in commit b3e94e96

merged