Fifth patch release of the 2023 release series.

Patch release milestones are on Tuesdays, and the actual patch release will happen during the remainder of the week.