PR #7195

PR #7195 is not in the merge queue.