PR #7692

PR #7692 is not in the merge queue.