Merge RELEASE-NOTES-1.23 into HISTORY