PR #7236

PR #7236 is not in the merge queue.