Hi, I received a problem report which seems to indicate that recent CVS changes (probably the Win32 sound stuff) broke MIDI sound support, at least on Linux. Could someone with a working system with sound support have a look at this, please?
llap, Christoph
