Summary of changes: e976e5a... devel: omit seemingly extraneous dependencies (*) d9c5b22... 1.3.14 (*) (*) This commit already existed in another branch; no separate mail sent