PR #6935

PR #6935 is not in the merge queue.