add 7.1.3 release notes (#15674) (#15836)

pingcap · Dec 21, 2023 · 362be99 · 362be99
1 parent ac06e06
commit 362be99
Show file tree

Hide file tree

Showing 4 changed files with 161 additions and 0 deletions.
diff --git a/TOC.md b/TOC.md
@@ -1025,6 +1025,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)