PR #7126

PR #7126 is not in the merge queue.