From ea07530d1d5ee5b17ea8dc8ffb3efee7e1d63ba7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Wed, 27 Dec 2023 12:01:55 +0100
Subject: [PATCH] add missing decrement

---
 Maintenance/test_handling/create_testresult_page | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Maintenance/test_handling/create_testresult_page b/Maintenance/test_handling/create_testresult_page
index 02d4fb4a38f6..37934a2fbcbb 100755
--- a/Maintenance/test_handling/create_testresult_page
+++ b/Maintenance/test_handling/create_testresult_page
@@ -545,6 +545,7 @@ EOF
             print OUTPUT ">$pf_short</a>";
 	    my $index = 13;
 	    while ($index) {
+        $index--;
 		print OUTPUT "<td>?</td>\n";
 	    }
 	}