diff --git a/TODO.org b/TODO.org index 7e7237d2..9dbb99f7 100644 --- a/TODO.org +++ b/TODO.org @@ -2208,10 +2208,10 @@ it kept; without =keep= that file is gone and the second half is =None=. The two-process daemon moves the host's IR from the path it is given and no longer recomputes =Build.workdir=. -** TODO The 2MB OFL font is not vendored -One example wants a font that is OFL and redistributable; it says on screen when -it is missing and runs either way. A call about the repository, not about the -port. +** CANCELLED The 2MB OFL font is not vendored +CLOSED: [2026-09-25] +Two megabytes of history for one example that already says on screen when the +font is missing and runs without it. ** DONE old-ocaml/ and the built executables are untracked on purpose The executables are what a build drops beside their sources. =old-ocaml/= is the