Summary of changes: 232f8f8... - updated to 5.2.0 (new soname, API incompatibilities) (*) 913a904... Merge remote-tracking branch 'origin/DEVEL-proj-5' (*) This commit already existed in another branch; no separate mail sent