[linux-audio-user] Re: how to cut a midi file?