Summary of changes: bcd0a58... pkgconfig-style deps fix marble deps drop old/deprecated Ob (*) b826fab... 4.7.2 (*) d572ff7... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent