That patch came out hours after the announcement. Someone's been busy.

Bug announced May 21, 2018. Same day as patch release.