Issue #13156: Add an entry in Misc/NEWS.
1 file changed