Merge pull request #15084 from apache/release-dev

Release v5.1.2