PR #7189

PR #7189 is not in the merge queue.