fix #38041: pedal not exported to MIDI
Merge pull request #1430 from MarcSabatella/38041-midi-pedal

fix #38041: pedal not exported to MIDI