Fix name clash

This commit is contained in:
Thomas Hisch
2017-09-13 13:23:29 +02:00
parent 6607478b23
commit 5130f5707f