PR #7287

PR #7287 is not in the merge queue.