v7.1.2: add release notes (#15256)

pingcap · Oct 25, 2023 · 0107e33 · 0107e33
1 parent 0d70c44
commit 0107e33
Show file tree

Hide file tree

Showing 4 changed files with 216 additions and 0 deletions.
diff --git a/TOC.md b/TOC.md
@@ -1034,6 +1034,7 @@
   - v7.2
     - [7.2.0-DMR](/releases/release-7.2.0.md)
   - v7.1
+    - [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)
   - v7.0