v7.1.2: add release notes (#15256) (#15292)

pingcap · Oct 25, 2023 · e3d5a0c · e3d5a0c
1 parent 6a3f134
commit e3d5a0c
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