- 
Adam Barth authored
The new name matches the style guide. (The old name was just old and predated the style guide.) Fixes #8000
6b75ac3f 
The new name matches the style guide. (The old name was just old and predated the style guide.) Fixes #8000
HIAST - GitLab