They are not needed

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

Closes #515

added priority::1 scope::Backend status::Doing labels

assigned to @mweise

enabled an automatic merge when all merge checks for b7145dea pass

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

added 1 commit

• f723e11b - Updated docs

Compare with previous version

added 1 commit

• d0cdbf75 - Updated image

Compare with previous version

mentioned in commit 1d21262b

merged