PR #7747

PR #7747 is not in the merge queue.