Summary of changes: e2bea8c... Rebuild for Boost 1.47 in Rawhide (*) 63c7da7... Update to 0.9.12 (*) (*) This commit already existed in another branch; no separate mail sent