Summary of changes: 2d5fe79... update to 20131127 (*) 85cd8d7... package shared object (*) f771cf0... Merge remote-tracking branch 'origin/master' into f20 (*) This commit already existed in another branch; no separate mail sent