PR #6754

PR #6754 is not in the merge queue.