Updating port 1.4.3 -> 1.5.0 details: 1. Fixed contact emails 2. Wrote patches for the port in a different manner (now it would be easier to submit them to openrm developers) Unfortunatly openrm has quite ugly building environment, so MAKE_ARGS still remain. 3. Removed comments around pthread_setconcurrency in both library sources and one of demos. This function has been finally added to STABLE.
State Changed From-To: open->closed Commited, thanks!