On Thu, Nov 29, 2018 at 1:49 PM Christof Ressi <christof.ressi@gmx.at> wrote:
> I cannot recognize USB MIDI interfaces anymore without restarting Pd.

just curious: did this actually work before? at least on Windows I've always had to restart Pd when I plug in a new MIDI device, but maybe that's because of portmidi.

yes!