PR #7332

PR #7332 is not in the merge queue.