Trigger docs site update

release-7.1.2.md: fix an issue number (#15188) (#15191) #9979

Sign in to view logs

Summary
Jobs
- trigger
Run details
- Usage
- Workflow file

Triggered via push October 26, 2023 10:11

ti-chi-bot[bot]

release-7.4

Status Success

Total duration 12s

Artifacts –

dispatch.yml

on: push