Fix one more broken port name

This commit is contained in:
Oliver Tappe
2013-09-18 22:03:37 +02:00
parent 0f4c080530
commit 94d2ab817b