v7.1.2: add release notes (#15137) (#15169)

pingcap · Oct 25, 2023 · f97bd53 · f97bd53
1 parent 7bd62eb
commit f97bd53
Show file tree

Hide file tree

Showing 4 changed files with 216 additions and 0 deletions.
diff --git a/TOC.md b/TOC.md
@@ -999,6 +999,7 @@
   - [TiDB Versioning](/releases/versioning.md)
   - [TiDB Installation Packages](/binary-package.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