PR #7194

PR #7194 is not in the merge queue.