release-7.1.2.md: fix an issue number (#15188) #15189
Merged
GitHub Actions / Image Deletion Check
succeeded
Oct 26, 2023 in 0s
OK
No deleted images
Loading