PR #7545

PR #7545 is not in the merge queue.