cleanup

pingcap · Dec 20, 2023 · a210960 · a210960
1 parent b5f0211
commit a210960
Show file tree

Hide file tree

Showing 4 changed files with 71 additions and 110 deletions.
diff --git a/TOC.md b/TOC.md
@@ -1029,6 +1029,7 @@
   - v7.2
     - [7.2.0-DMR](/releases/release-7.2.0.md)
   - v7.1
+    - [7.1.3](/releases/release-7.1.3.md)
     - [7.1.2](/releases/release-7.1.2.md)
     - [7.1.1](/releases/release-7.1.1.md)
     - [7.1.0](/releases/release-7.1.0.md)