PR #7359

PR #7359 is not in the merge queue.