Summary of changes: f2c5ed1... - updated to 0.10.0 (note: new sonames) (*) 3f8dd78... Merge branch 'DEVEL' (*) This commit already existed in another branch; no separate mail sent