Fix accidental rename

This commit is contained in:
Raphael Michel
2017-01-15 21:44:08 +01:00
parent 829b6a7d56
commit 6bcfa4980f