[PD-dev] [ pure-data-Patches-1415539 ] Re: [ pure-data-Patches-1412210 ] fix for bug in menu_openht