PR #7246

PR #7246 is not in the merge queue.