PR #6923

PR #6923 is not in the merge queue.