PR #7328

PR #7328 is not in the merge queue.