Summary of changes: 3eab5e8... - updated to 1.2.0 - updated boost patch (*) e335d72... - updated to 1.2.7 - removed obsolete boost patch (*) 344936a... Merge branch 'DEVEL-1.2' into master (*) This commit already existed in another branch; no separate mail sent