Summary of changes: 9766673... 1.3.13 (*) deeaed6... Fix spec (*) 3d3cbcb... fix file list (*) (*) This commit already existed in another branch; no separate mail sent