On Tue, May 29, 2018 at 04:07:48PM -0400, Leo Famulari wrote:
> https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-11234
> https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-11235

For anyone who is confused, the original announcement on MSDN mistakenly
mentioned CVE-2018-11234, which is apparently incorrect. The correct CVE
IDs are CVE-2018-11233 and CVE-2018-11235.