placeholder for #2575
Issue #2575 was merged to 9.16 only as change 5603, but a placeholder was not added to CHANGES in the main branch. This commit adds the placeholder and renumbers the two subsequent changes.
Issue #2575 was merged to 9.16 only as change 5603, but a placeholder was not added to CHANGES in the main branch. This commit adds the placeholder and renumbers the two subsequent changes.