From 60627ce7563823264287627b6521f4764b50cd1b Mon Sep 17 00:00:00 2001
From: Irmen de Jong <irmen@razorvine.net>
Date: Mon, 8 Nov 2021 16:19:24 +0100
Subject: [PATCH] kotest migration done, fixes #70

---
 docs/source/todo.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/source/todo.rst b/docs/source/todo.rst
index 91b9ccc64..d174edea2 100644
--- a/docs/source/todo.rst
+++ b/docs/source/todo.rst
@@ -3,7 +3,6 @@ TODO
 
 For next compiler release (7.3)
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-- migrate Compiler tests to KoTest library (this will close github issue #70)
 ...