PR #7342

PR #7342 is not in the merge queue.