1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 03932110..71f2588e 100644
--- a/TODO
+++ b/TODO
@@ -371,7 +371,6 @@ properties:
 ** adduser jenkins (with bash as default shell)
 ** mkdir -p /srv/reproducible-results
 ** chown -R jenkins:jenkins /srv/
-** ln -s /srv/ /usr/obj/srv
 
 ==== reproducible...