diff --git a/c/todo.txt b/c/todo.txt index 48c6b0c5c..cdd3f01fc 100644 --- a/c/todo.txt +++ b/c/todo.txt @@ -14,8 +14,6 @@ BUGFIXES * re-valgrinds after UT expansion * release notes -* whence-miller: cf. slpost - * mlr hex -> auxes. and make an aux-list. and doc: olh as well as webdoc? * more other-tool cmps (many)