Summary of changes: 5615b4b... - added isl-update patch from git (needed to build with isl (*) 5150826... - drop .la file (*) cf0c5a1... - updated to 0.19.0 release; already includes update patch (*) (*) This commit already existed in another branch; no separate mail sent