I checked.

diff --git a/9.3/paper.tex b/9.3/paper.tex
index 610be35ffdc9c57d2b063a04bd540addfa2da9ad..680f357190ddc274d93765e3c8efd55e66ecc334 100644 (file)
--- a/9.3/paper.tex
+++ b/9.3/paper.tex
@@ -1021,8 +1021,6 @@ may have been more widely used:
         classes with the old interface for a transition period.
 \end{itemize}
 
-\todo[inline]{Check whether there are other things worth listing.}
-
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%