diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-12 08:55:09 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-12 08:55:09 +0200 |
commit | 3852b5017cb1cf834500d873051b3531014d03f6 (patch) | |
tree | a26fb9f718f307e16c2c5bf9906a316927ee8140 /editor/editor_build_profile.h | |
parent | fb9b4a1dd086d3cacdf7e9acc8de6e2e4f05ab03 (diff) | |
parent | f0f72b313236b3cd8793e6fe7487094d9a04694a (diff) |
Merge pull request #66003 from voidshine/fix_midi_event_mutation
Fix MIDI note-on events being converted to note-off events
Diffstat (limited to 'editor/editor_build_profile.h')
0 files changed, 0 insertions, 0 deletions