PR #7278

PR #7278 is not in the merge queue.