Release 13.23.0
This updates the VERSION and CHANGELOG files for 13.23.0.
I didn't know what version to pick but because !557 (merged) feels like a new feature I incremented the minor version number from 22 to 23.
This updates the VERSION and CHANGELOG files for 13.23.0.
I didn't know what version to pick but because !557 (merged) feels like a new feature I incremented the minor version number from 22 to 23.