PR #7276

PR #7276 is not in the merge queue.