patch 9.0.1622: filetype name t32 is a bit obscure

Problem: Filetype name t32 is a bit obscure. Solution: Rename t32 to trace32. (Christoph Sax, closes #12512)
2023-06-09 19:20:04 +01:00
parent c81dfaa69c
commit 740df76c90
3 changed files with 4 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1622,
 /**/
    1621,
 /**/