Small patch to fix the missing porttime. It is not needed anymore because its combined with portmidi.
Small patch to fix the missing porttime. It is not needed anymore because its combined with portmidi.