Signed-off-by: Martin Weise martin.weise@tuwien.ac.at
Closes #496
added status::Done label
mentioned in commit 3d98cc76
merged