PR #7251

PR #7251 is not in the merge queue.