From ac59ebc7d15033257c3f1ed1353aa73e2a32dac5 Mon Sep 17 00:00:00 2001
From: daleif <daleif@github.com>
Date: Wed, 24 Jan 2024 10:45:06 +0100
Subject: [PATCH] typo

---
 required/tools/verbatim.dtx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/required/tools/verbatim.dtx b/required/tools/verbatim.dtx
index 3dcfef083..c3418b009 100644
--- a/required/tools/verbatim.dtx
+++ b/required/tools/verbatim.dtx
@@ -1575,7 +1575,7 @@
 %    \end{macrocode}
 % 
 %   \changes{v1.5x}{2024/01/22}{Added TAB marking support into the
-%   starred version (gh/1245}
+%   starred version (gh/1245)}
 %   If starred, we mark spaces and TABs, the two
 %   added pieces are the same as for verbatim*.
 %    \begin{macrocode}