PR #7354

PR #7354 is not in the merge queue.