PR #7352

PR #7352 is not in the merge queue.