PR #7412

PR #7412 is not in the merge queue.