diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-03 09:17:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-03 09:17:07 +0200 |
| commit | 76cbe7a9ae08cf9c90b464cda7c967ca8068d41d (patch) | |
| tree | 438cbe0570c67133bde8068000b183308b9977fa /editor/output_strings.h | |
| parent | de54ee975d97653d5f53616b01ad08e2187d258a (diff) | |
| parent | ea0c398a196358a34e40dc7b93426913f11c160a (diff) | |
Merge pull request #27214 from marcelofg55/midi_note_off
Fix MIDI Note Off missing on some devices
Diffstat (limited to 'editor/output_strings.h')
0 files changed, 0 insertions, 0 deletions