> > > > > Fixed and posted new port files to petitecloud.org... side question > should > > I update the PR for the port or create a new one? > > Please update the existing one. > Already done via GNATS -- Aryeh M. Friedman, Lead Developer, http://www.PetiteCloud.org