PR #7705

PR #7705 is not in the merge queue.