PR #7877

PR #7877 is not in the merge queue.