Account for MIDI time skipped via skipTypesetting (!1006) · Merge requests · LilyPond / LilyPond

GitLab 15.0 has launched! Please visit Breaking changes in 15.0 and 15.0 Removals to see which breaking changes may impact your workflow.

Merged David Kastrup requested to merge dev/dak/midiSkipOffset into master Nov 17, 2021

When using skipTypesetting, the skipped time should not be accounted for in the MIDI files.