update todos

KeYProject · Jun 15, 2024 · 227c3d5 · 227c3d5
1 parent 0f6e5c9
commit 227c3d5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -73,7 +73,8 @@ Deadline: next kakey meeting, 21.06.2024
   * [x] Beweis von List::add():
 
 * AW: 
-  * [ ] Zenodo DOI
+  * [ ] Zenodo DOI, vorbereitet, upload fehlt
+        Reserved DOI: 10.5281/zenodo.11669182
   * [x] Log level
   * [ ] Proof reading: Readme