PR #7282

PR #7282 is not in the merge queue.