PR #7529

PR #7529 is not in the merge queue.