PR #7201

PR #7201 is not in the merge queue.