Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
minor #16092 Minor correction of names (Wojdylak)
This PR was merged into the 1.13 branch. Discussion ---------- | Q | A | |-----------------|--------------------------------------------------------------| | Branch? | 1.13 | Bug fix? | no | New feature? | no | BC breaks? | no | Deprecations? | no | Related tickets | N/A | License | MIT Commits ------- 3491859 [Maintenance] Change tex to tax 96c85e5 [Maintenance] Change names of tests
- Loading branch information