rename to match PR

This commit is contained in:
Hubert Chathi 2018-12-14 00:25:18 -05:00
parent d90aeda658
commit de11738210