PR #7362

PR #7362 is not in the merge queue.