diff --git a/ayanova/devdocs/todo.txt b/ayanova/devdocs/todo.txt
index c67a889c..8b8bb421 100644
--- a/ayanova/devdocs/todo.txt
+++ b/ayanova/devdocs/todo.txt
@@ -832,4 +832,7 @@ BUILD 8.0.0-beta.1-rc4 CHANGES OF NOTE
 - case 4134 improved docs, some naming
 - case 4135 changed
 - case 4137 implemented
+- case 4138 fixed
+- case 4139 see notes, not reproducible here
+