Summary of changes: 2e9ed18... move devel files to polarssl-devel package (*) 9b88146... Update to 1.3.7-2 (*) (*) This commit already existed in another branch; no separate mail sent