diff --git a/docs/source/todo.rst b/docs/source/todo.rst
index 0c203eb06..ffbd5f823 100644
--- a/docs/source/todo.rst
+++ b/docs/source/todo.rst
@@ -1,6 +1,9 @@
 TODO
 ====
 
+See https://github.com/irmen/prog8/issues/134
++ any other issues that got reported.
+
 ...