If this PR makes an externally-visible change in behavior or API, please add an appropriate line to docs/changelog.txt.