October 14, 2009 at 6:30 pm #119256
You're right (you knew this). It got unfixed – we'll fix it in the full release (due in a few weeks). Sorry.
The same workaround applies – put any old jack plug into the pedal socket and the MIDI will work.