By the way, while you are at it, upgrading it, can you test that the issue #93728 is solved? Thank you.
-- Upgrade PortMidi https://launchpad.net/bugs/93730 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
