Summary of changes: f39f9cd... Update to upstream 0.13.2 (*) 85d1e26... Don't forget the new source file (*) 016995f... Adkust for extra directory level in source tree (*) 08cd85c... Merge branch 'f17' into f16 (*) This commit already existed in another branch; no separate mail sent