PR #7290

PR #7290 is not in the merge queue.