[latex3-commits] [latex3/latex3] main: Remove a duplicate name (8dd53dbf5)

[github at latex-project.org]

Repository : https://github.com/latex3/latex3
On branch  : main
Link       : https://github.com/latex3/latex3/commit/8dd53dbf5d9b99b9ad83dffb7bf7ae65d38a2d13

>---------------------------------------------------------------

commit 8dd53dbf5d9b99b9ad83dffb7bf7ae65d38a2d13
Author: Joseph Wright <joseph.wright at morningstar2.co.uk>
Date:   Wed May 17 07:29:19 2023 +0100

    Remove a duplicate name


>---------------------------------------------------------------

8dd53dbf5d9b99b9ad83dffb7bf7ae65d38a2d13
 l3kernel/l3int.dtx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/l3kernel/l3int.dtx b/l3kernel/l3int.dtx
index a0c3d2113..644ff24ed 100644
--- a/l3kernel/l3int.dtx
+++ b/l3kernel/l3int.dtx
@@ -493,7 +493,7 @@
 %   is odd or even, as appropriate.
 % \end{function}
 %
-% \begin{function}[EXP,pTF, added = 2023-05-17]{\int_if_zero:n, \int_if_zero:n}
+% \begin{function}[EXP,pTF, added = 2023-05-17]{\int_if_zero:n}
 %   \begin{syntax}
 %     \cs{int_if_zero_p:n} \Arg{int expr}
 %     \cs{int_if_zero:nTF} \Arg{int expr}