Merge pull request #14210 from seamuslee001/5_13_2_release_notes
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 7 May 2019 01:35:15 +0000 (11:35 +1000)
committerGitHub <noreply@github.com>
Tue, 7 May 2019 01:35:15 +0000 (11:35 +1000)
Add 5.13.2 release notes


Trivial merge