Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Re #11063 minor typo in sample reduction
It does not run anyway, but worth making it right as somebody may decide to use it as a sample
- Loading branch information