Signed-off-by: Martin Weise martin.weise@tuwien.ac.at
Closes #532
added Bug priority::3 labels
assigned to @mweise
closed