Merge RELEASE-NOTES-1.23 into HISTORY

Used the REL1_23 version of that file, and moved the note added in
5e48ad2e78ce to RELEASE-NOTES-1.24, where it belongs.

Change-Id: Id5f4726152fc2f4c90117762f6dc4904f5fa9f94