branch master updated: Remove tp/TODO entry done by Gavin.

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 567316b68d Remove tp/TODO entry done by Gavin.
567316b68d is described below

commit 567316b68d56b36f1ed4064222d6adfef74a0193
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sat Apr 9 23:42:46 2022 +0200

    Remove tp/TODO entry done by Gavin.
---
 tp/TODO | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tp/TODO b/tp/TODO
index 0558f58e97..ffbea7b9f5 100644
--- a/tp/TODO
+++ b/tp/TODO
@@ -17,8 +17,6 @@ xterm &
 Before next release
 ===================
 
-for @example args, use *-user as class?
-
 
 @item --enable-encoding
 @itemx --disable-encoding